From ed3d6be013876027ae70784212a59e5f9869585e Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 29 Oct 2014 14:21:49 +0100
Subject: [PATCH] missing files now installed

---
 META     | 1 +
 Makefile | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/META b/META
index fc9605d7..30e06fbb 100644
--- a/META
+++ b/META
@@ -3,5 +3,6 @@ version="dev"
 description="MSAT is a modular SAT solver, plus extensions"
 requires="num unix"
 archive(byte) = "msat.cma"
+archive(byte, plugin) = "msat.cma"
 archive(native) = "msat.cmxa"
 archive(native, plugin) = "msat.cmxs"
diff --git a/Makefile b/Makefile
index 75c52a2d..68458d94 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,7 @@ clean:
 	$(COMP) -clean
 	rm -f $(GENERATED)
 
-TO_INSTALL=META $(addprefix _build/,$(LIB))
+TO_INSTALL=META $(addprefix _build/,$(LIB) $(NAME).a $(NAME).cmi)
 
 install: all
 	ocamlfind install msat $(TO_INSTALL)