Skip to content

Commit 0991dc7

Browse files
committed
ocaml: remove out-of-date repo subset
We should be able to rely on the version constraints in the hyperkit.opam instead. Signed-off-by: David Scott <dave@recoil.org>
1 parent c00e311 commit 0991dc7

File tree

386 files changed

+33
-5841
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

386 files changed

+33
-5841
lines changed

.circleci/config.yml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,6 @@ jobs:
77
# OPAM seems to be quite unhappy without $TERM and Circle doesn't seem to set one.
88
TERM: vt100
99
MACOSX_DEPLOYMENT_TARGET: "10.11"
10-
OPAM_REPO: repo/darwin
1110
OPAM_COMP: 4.10.0
1211
OPAMVERBOSE: 1
1312
OPAMYES: 1
@@ -26,7 +25,7 @@ jobs:
2625
- run: test ! -s build/lib/mirage_block_ocaml.cmi || (echo "qcow libraries have been pre-installed in CI environment" && exit 1)
2726
- run: make test
2827
- run: brew install opam libev libffi pkg-config
29-
- run: opam init -v -n --comp="${OPAM_COMP}" --switch="${OPAM_COMP}" local "${OPAM_REPO}"
28+
- run: opam init -v -n --comp="${OPAM_COMP}" --switch="${OPAM_COMP}"
3029
# Needed until the packages are released in ocaml/opam-repository
3130
- run: opam pin add qcow.0.11.0 git://github.com/mirage/ocaml-qcow -n
3231
- run: opam pin add qcow-tool.0.11.0 git://github.com/mirage/ocaml-qcow -n

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
/.opam
22
/build/
3+
_build
34
/src/include/xhyve/dtrace.h
45
/test/vmlinuz
56
/test/initrd

Makefile

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -208,8 +208,8 @@ artifacts: build/LICENSE build/COMMIT
208208
build/LICENSE:
209209
@echo " GEN " $@
210210
@find src -type f | xargs awk '/^\/\*-/{p=1;print FILENAME ":";print;next} p&&/^.*\*\//{print;print "";p=0};p' > $@.tmp
211-
@opam config exec -- make -C repo list-licenses
212-
@cat repo/OCAML-LICENSES >> $@.tmp
211+
@opam config exec -- make -C ocaml list-licenses
212+
@cat ocaml/OCAML-LICENSES >> $@.tmp
213213
@mv $@.tmp $@
214214

215215
.PHONY: build/COMMIT

ocaml/.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
OCAML-LICENSES

ocaml/Makefile

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
.PHONY: list-licenses
2+
3+
list-licenses:
4+
mkdir -p licenses
5+
cd licenses && ../opam-licenses.sh hyperkit
6+
./list-licenses.sh licenses > OCAML-LICENSES

ocaml/licenses/.gitignore

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
*.files
2+
all-packages.txt
3+
dependency.*

ocaml/licenses/LICENSE.hyperkit.~dev.skip

Whitespace-only changes.
Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
ISC License
2+
3+
Copyright (X) 2011-2018, the [MirageOS contributors](https://mirage.io/community/#team)
4+
5+
Permission to use, copy, modify, and distribute this software for any
6+
purpose with or without fee is hereby granted, provided that the above
7+
copyright notice and this permission notice appear in all copies.
8+
9+
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
10+
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
11+
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
12+
ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
13+
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
14+
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
15+
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
File renamed without changes.

0 commit comments

Comments
 (0)