Merge pull request #591 from samoht/makefile

remove pins from Makefile

Makefile

@@ -18,18 +18,6 @@ depends:
 	opam pin add ${PINOPTS} datakit-bridge-github.dev .
 	opam pin add ${PINOPTS} datakit-bridge-local-git.dev .
 	opam pin add ${PINOPTS} datakit-ci.dev .
-	opam pin add git.dev --dev -ny
-	opam pin add git-http.dev --dev -ny
-	opam pin add git-mirage.dev --dev -ny
-	opam pin add git-unix.dev --dev -ny
-	opam pin add irmin.dev --dev -ny
-	opam pin add irmin-fs.dev https://github.com/mirage/irmin.git -ny
-	opam pin add irmin-mem.dev https://github.com/mirage/irmin.git -ny
-	opam pin add irmin-git.dev --dev -ny
-	opam pin add irmin-http.dev --dev -ny
-	opam pin add irmin-mirage.dev --dev -ny
-	opam pin add irmin-fs.dev --dev -ny
-	opam pin add irmin-unix.dev --dev -ny
 	opam install -y --deps-only datakit-ci datakit datakit-bridge-github datakit-bridge-local-git
 	opam update -u datakit datakit-client datakit-server datakit-github \
 	  datakit-ci datakit-bridge-github datakit-bridge-local-git -y
@@ -97,11 +85,6 @@ pkg-%:
 	cp -r _build/$*.* $(PACKAGES)/$*/
 	cd $(PACKAGES) && git add $*
 
+PKGS=$(basename $(wildcard *.opam))
 opam-pkg:
-	$(MAKE) pkg-datakit
-	$(MAKE) pkg-datakit-client
-	$(MAKE) pkg-datakit-server
-	$(MAKE) pkg-datakit-ci
-	$(MAKE) pkg-datakit-github
-	$(MAKE) pkg-datakit-bridge-github
-	$(MAKE) pkg-datakit-bridge-local-git
+	$(MAKE) $(PKGS:%=pkg-%)