Merge pull request #169 from talex5/topkg

Remove topkg
mirage · Oct 1, 2019 · 00a1e29 · 00a1e29
2 parents e478cf9 + a9e8aba
commit 00a1e29
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 15 deletions.
diff --git a/Makefile b/Makefile
@@ -23,16 +23,3 @@ test:
 	#./_build/default/test/test.bc test core -ev 36
 	#./_build/default/test-lwt/test.bc test lwt -ev 3
 	dune build @runtest --no-buffer -j 1
-
-REPO=../opam-repository
-PACKAGES=$(REPO)/packages
-# until we have https://github.com/ocaml/opam-publish/issues/38
-pkg-%:
-	topkg opam pkg -n $*
-	mkdir -p $(PACKAGES)/$*
-	cp -r _build/$*.* $(PACKAGES)/$*/
-	cd $(PACKAGES) && git add $*
-
-PKGS=$(basename $(wildcard *.opam))
-opam-pkg:
-	$(MAKE) $(PKGS:%=pkg-%)
diff --git a/pkg/pkg.ml b/pkg/pkg.ml