From 7d9d6c38c9d8bcb26aaaafe03b45c54524f7a6e4 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 4 Sep 2019 15:02:34 +0200
Subject: [PATCH] Build: generate a smaller tgz for opam

---
 Makefile     |  2 +-
 Makefile.dev | 12 ++++++++----
 2 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index e62f57e4..e20217a8 100644
--- a/Makefile
+++ b/Makefile
@@ -25,7 +25,7 @@ man:
 
 ###############################
 # for developpers
-include ./Makefile.dev
+-include ./Makefile.dev
 
 # not gitted stuff
 -include ./Makefile.local
diff --git a/Makefile.dev b/Makefile.dev
index b0ffcde9..47092834 100644
--- a/Makefile.dev
+++ b/Makefile.dev
@@ -62,12 +62,16 @@ amend:
 # opam-ing
 
 NAME=lustre-v6
+SRC=lib bin LICENSE Makefile Makefile.version *.opam
 
-opam-rel :
-	make-opam-pack $(NAME)
+$(NAME).$(VERSION).tgz: $(SRC) 
+	git archive --prefix=$(NAME).$(VERSION)/ -o $@ HEAD $(SRC) test
 
-opam-test :
-	make-opam-pack $(NAME) -test
+opam-rel : $(NAME).$(VERSION).tgz
+	make-opam-pack $(NAME).$(VERSION) $(NAME)
+
+opam-test : $(NAME).$(VERSION).tgz
+	make-opam-pack $(NAME).$(VERSION) $(NAME) -test
 
 
 
-- 
GitLab