minor makefile fix for building with gcc6 (but debian default linker)

[florianschanda]

Yes, our setup here is a bit odd maybe. But this tiny fix allows us to build.

diff --git a/src/util/Makefile b/src/util/Makefile
index 5152955..b27e22c 100644
--- a/src/util/Makefile
+++ b/src/util/Makefile
@@ -45,7 +45,7 @@ irep_ids.inc: irep_ids_convert$(EXEEXT) irep_ids.txt
 irep_ids.cpp: irep_ids.inc irep_ids.h

 irep_ids_convert$(EXEEXT): irep_ids_convert.cpp
-       $(LINKNATIVE)
+       $(LINKNATIVE) -static

 generated_files: irep_ids.h irep_ids.inc

[florianschanda]

Actually, we need a few more changes like this:

diff --git a/src/ansi-c/Makefile b/src/ansi-c/Makefile
index 0764c13..d07a0d4 100644
--- a/src/ansi-c/Makefile
+++ b/src/ansi-c/Makefile
@@ -54,10 +54,10 @@ cprover_library$(OBJEXT): cprover_library.inc
 ###############################################################################

 library/converter$(EXEEXT): library/converter.cpp
-       $(LINKNATIVE)
+       $(LINKNATIVE) -static

 file_converter$(EXEEXT): file_converter.cpp
-       $(LINKNATIVE)
+       $(LINKNATIVE) -static

 ifeq ($(BUILD_ENV),MinGW)
   platform_unavail = library/java.io.c library/err.c library/threads.c

[peterschrammel]

obsolete