:wrench: Improve Makefile

diff --git a/Makefile b/Makefile
index c82cce91f321d2e675c3341284f810c8532f0492..018458abc307e1728acc913468542f8ce2f269e3 100644 (file)
--- 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 6138391802a26f9a8a60b437fc87079975256c35..c710a2a74e3010da4b6c05857e7d8128e58ae54c 160000 (submodule)
--- a/ast
+++ b/ast
@@ -1 +1 @@
-Subproject commit 6138391802a26f9a8a60b437fc87079975256c35
+Subproject commit c710a2a74e3010da4b6c05857e7d8128e58ae54c

diff --git a/util b/util
index c4f53a32cb4842332f5150a63dd9fc226e553da7..0c0192813f608422641d0e3fd32027b5278d1d53 160000 (submodule)
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit c4f53a32cb4842332f5150a63dd9fc226e553da7
+Subproject commit 0c0192813f608422641d0e3fd32027b5278d1d53