compiling code for Linux

6af876a1 · Jon Shahen · 44967fbe · 6af876a1 · 6af876a1 · 6af876a1
Commit 6af876a1 authored Jul 07, 2017 by Jon Shahen
--- a/programs/lingeling-b85-3ee2a39-151109/configure.sh
+++ b/programs/lingeling-b85-3ee2a39-151109/configure.sh
--- a/programs/lingeling-b85-3ee2a39-151109/ilingeling
+++ b/programs/lingeling-b85-3ee2a39-151109/ilingeling
--- a/programs/lingeling-b85-3ee2a39-151109/ilingeling.o
+++ b/programs/lingeling-b85-3ee2a39-151109/ilingeling.o
--- a/programs/lingeling-b85-3ee2a39-151109/lglbnr.o
+++ b/programs/lingeling-b85-3ee2a39-151109/lglbnr.o
--- a/programs/lingeling-b85-3ee2a39-151109/lglcfg.h
+++ b/programs/lingeling-b85-3ee2a39-151109/lglcfg.h
 /*************************************************************/
 /* Automatically generated by './mkconfig.sh': do note edit! */
 /*************************************************************/
-#define LGL_OS "CYGWIN_NT-10.0 Awesome-DELL 2.5.1(0.297/5/3) x86_64"
-#define LGL_COMPILED "Wed, May 18, 2016 17:43:23"
+#define LGL_OS "Linux arthur 4.4.0-83-generic x86_64"
+#define LGL_COMPILED "Fri Jul  7 16:02:06 EDT 2017"
 #define LGL_RELEASED "Mon Nov  9 11:01:53 CET 2015"
 #define LGL_VERSION "b85"
 #define LGL_ID "3ee2a39cc143d07ea0a989cedd5008dd097a4068"
--- a/programs/lingeling-b85-3ee2a39-151109/lglcflags.h
+++ b/programs/lingeling-b85-3ee2a39-151109/lglcflags.h
-#define LGL_CC "gcc (GCC) 5.3.0"
+#define LGL_CC "gcc (Ubuntu 5.4.0-6ubuntu1~16.04.4) 5.4.0 20160609"
 #define LGL_CFLAGS "-Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT"
--- a/programs/lingeling-b85-3ee2a39-151109/lglddtrace
+++ b/programs/lingeling-b85-3ee2a39-151109/lglddtrace
--- a/programs/lingeling-b85-3ee2a39-151109/lglddtrace.o
+++ b/programs/lingeling-b85-3ee2a39-151109/lglddtrace.o
--- a/programs/lingeling-b85-3ee2a39-151109/lgldimacs.o
+++ b/programs/lingeling-b85-3ee2a39-151109/lgldimacs.o
--- a/programs/lingeling-b85-3ee2a39-151109/lglib.o
+++ b/programs/lingeling-b85-3ee2a39-151109/lglib.o
--- a/programs/lingeling-b85-3ee2a39-151109/lglmain.o
+++ b/programs/lingeling-b85-3ee2a39-151109/lglmain.o
--- a/programs/lingeling-b85-3ee2a39-151109/lglmbt
+++ b/programs/lingeling-b85-3ee2a39-151109/lglmbt
--- a/programs/lingeling-b85-3ee2a39-151109/lglmbt.o
+++ b/programs/lingeling-b85-3ee2a39-151109/lglmbt.o
--- a/programs/lingeling-b85-3ee2a39-151109/lglopts.o
+++ b/programs/lingeling-b85-3ee2a39-151109/lglopts.o
--- a/programs/lingeling-b85-3ee2a39-151109/lgluntrace
+++ b/programs/lingeling-b85-3ee2a39-151109/lgluntrace
--- a/programs/lingeling-b85-3ee2a39-151109/lgluntrace.o
+++ b/programs/lingeling-b85-3ee2a39-151109/lgluntrace.o
--- a/programs/lingeling-b85-3ee2a39-151109/liblgl.a
+++ b/programs/lingeling-b85-3ee2a39-151109/liblgl.a
--- a/programs/lingeling-b85-3ee2a39-151109/lingeling
+++ b/programs/lingeling-b85-3ee2a39-151109/lingeling
--- a/programs/lingeling-b85-3ee2a39-151109/mkconfig.sh
+++ b/programs/lingeling-b85-3ee2a39-151109/mkconfig.sh
--- a/programs/lingeling-b85-3ee2a39-151109/plingeling
+++ b/programs/lingeling-b85-3ee2a39-151109/plingeling