Makefile install task for OPAM

DistributedComponents · Dec 30, 2016 · 8014478 · 8014478
1 parent df7a884
commit 8014478
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
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: "[email protected]"
 
 homepage: "https://github.com/DistributedComponents/InfSeqExt"