From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Wed, 9 Oct 2019 21:42:30 +0000 (+0200)
Subject: :wrench: Improve Makefile
X-Git-Tag: nightly~2198^2~48
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=926ed32b8c6e44376e996f4474ddc8fd8d59a6e7;p=gwion.git

:wrench: Improve Makefile
---

diff --git a/Makefile b/Makefile
index c82cce91..018458ab 100644
--- a/Makefile
+++ b/Makefile
@@ -101,9 +101,16 @@ src/arg.o:
 	@echo $@: config.mk >> $(DEPDIR)/$(@F:.o=.d)
 
 install: ${PRG}
-	install ${PRG} ${DESTDIR}/${PREFIX}/bin
+	$(info installing ${PACKAGE} in ${PREFIX})
+	@install ${PRG} ${DESTDIR}/${PREFIX}/bin
+	@sed "s#PREFIX#${PREFIX}#g" scripts/gwion-config > gwion-config
+	@install gwion-config ${DESTDIR}/${PREFIX}/bin/gwion-config
+	@rm gwion-config
+	@mkdir -p ${DESTDIR}/${PREFIX}/include/gwion
+	@cp include/*.h ${DESTDIR}/${PREFIX}/include/gwion
 
 uninstall:
+	$(info uninstalling ${PACKAGE} from ${PREFIX})
 	rm ${DESTDIR}/${PREFIX}/bin/${PRG}
 
 test:
diff --git a/ast b/ast
index 61383918..c710a2a7 160000
--- a/ast
+++ b/ast
@@ -1 +1 @@
-Subproject commit 6138391802a26f9a8a60b437fc87079975256c35
+Subproject commit c710a2a74e3010da4b6c05857e7d8128e58ae54c
diff --git a/util b/util
index c4f53a32..0c019281 160000
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit c4f53a32cb4842332f5150a63dd9fc226e553da7
+Subproject commit 0c0192813f608422641d0e3fd32027b5278d1d53