Makefile install task for OPAM

palmskog · palmskog · commit 80144789e10d · 2016-12-29T22:45:52.000-06:00
diff --git a/Makefile b/Makefile
@@ -10,6 +10,9 @@ default: Makefile.coq
 quick: Makefile.coq
 	$(MAKE) -f Makefile.coq quick
 
+install: Makefile.coq
+	$(MAKE) -f Makefile.coq install
+
 Makefile.coq: _CoqProject
 	coq_makefile -f _CoqProject -o Makefile.coq
 
diff --git a/opam b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "InfSeqExt"
-version: "dev"
+version: "1.0"
 maintainer: "palmskog@gmail.com"
 
 homepage: "https://github.com/DistributedComponents/InfSeqExt"
