From a9e8aba67f5ce59af305a68af13d452a1b4b752e Mon Sep 17 00:00:00 2001
From: Thomas Leonard <talex5@gmail.com>
Date: Tue, 1 Oct 2019 11:51:58 +0100
Subject: [PATCH] Remove topkg

We can use dune-release now instead.
---
 Makefile   | 13 -------------
 pkg/pkg.ml |  2 --
 2 files changed, 15 deletions(-)
 delete mode 100644 pkg/pkg.ml

diff --git a/Makefile b/Makefile
index 3722b8c1c..b781f9c73 100644
--- 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
deleted file mode 100644
index 1a04c2b47..000000000
--- a/pkg/pkg.ml
+++ /dev/null
@@ -1,2 +0,0 @@
-#use "topfind"
-#require "topkg-jbuilder.auto"