Commit c707fff230c0e361b099188a017c1954d52064e5

Thomas de Grivel 2023-01-22T11:01:16

make install

diff --git a/c3s/Makefile b/c3s/Makefile
index a25ab5d..0747643 100644
--- a/c3s/Makefile
+++ b/c3s/Makefile
@@ -48,7 +48,8 @@ gdb_c3s: debug
 	if [ -f c3s_debug.core ]; then gdb c3s_debug c3s_debug.core; else gdb c3s_debug; fi
 
 install:
-	install -m 755 c3s ${PREFIX}/bin
+	mkdir -p ${PREFIX}/bin
+	install -m 755 c3s ${PREFIX}/bin/c3s
 
 .PHONY: all asan cov debug clean clean_cov distclean
 
diff --git a/ic3/Makefile b/ic3/Makefile
index 536c96d..af123ff 100644
--- a/ic3/Makefile
+++ b/ic3/Makefile
@@ -48,7 +48,8 @@ gdb_ic3: debug
 	if [ -f ic3_debug.core ]; then gdb ic3_debug ic3_debug.core; else gdb ic3_debug; fi
 
 install:
-	install -m 755 ic3 ${PREFIX}/bin
+	mkdir -p ${PREFIX}/bin
+	install -m 755 ic3 ${PREFIX}/bin/ic3
 
 .PHONY: all asan cov debug clean clean_cov distclean