From 80144789e10d01cf461a33311d7ae5daa5c8d2d8 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Thu, 29 Dec 2016 22:45:52 -0600
Subject: [PATCH] Makefile install task for OPAM

---
 Makefile | 3 +++
 opam     | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4bff8b0..deeb774 100644
--- 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
index d3d6b54..5fde7cf 100644
--- 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"