[SCM] Lisaac compiler branch, mildred-stable, updated. mildred-r3

[Mildred Ki'Lya]

The following commit has been merged in the mildred-stable branch:
commit 88ca3dc76fb5a27ca04746891b07ff11c6da96b1
Author: Mildred Ki'Lya <silkensedai at online.fr>
Date:   Wed Apr 27 11:45:40 2011 +0200

    Disabled GCC optimization strict-overflow that causes compiler crash

diff --git a/Makefile b/Makefile
index 824d30e..538af34 100644
--- a/Makefile
+++ b/Makefile
@@ -47,7 +47,8 @@ HTML=/html
 DESTDIR?=
 
 CC=gcc
-CFLAGS=-O1
+CFLAGS=-O2 -fno-strict-overflow -Wstrict-overflow=5
+
 
 default: user
 	@echo "###########################################################"
diff --git a/install_lisaac.li b/install_lisaac.li
index f90a820..da3a965 100644
--- a/install_lisaac.li
+++ b/install_lisaac.li
@@ -593,7 +593,7 @@ Section Private
 
   - compile_file n:STRING_CONSTANT <-
   (
-    string_tmp.copy "gcc -U_FORTIFY_SOURCE -O2 bin/";
+    string_tmp.copy "gcc -U_FORTIFY_SOURCE -O2 -fno-strict-overflow bin/";
     string_tmp.append n;
     string_tmp.append ".c -o bin/";
     string_tmp.append n;
diff --git a/make.lip.sample b/make.lip.sample
index 003909e..90b94e5 100644
--- a/make.lip.sample
+++ b/make.lip.sample
@@ -289,7 +289,7 @@ Section Public
   // Full optimization (lisaac and gcc).
   (
     optim;
-    option_gcc := option_gcc + " -O2 -fomit-frame-pointer";
+    option_gcc := option_gcc + " -O2 -fno-strict-overflow -fomit-frame-pointer";
   );
   
   - i level:INTEGER <-
@@ -380,4 +380,4 @@ Section Public
   (
     compiler_version;
     die_with_code exit_success_code;
-  );
\ No newline at end of file
+  );

-- 
Lisaac compiler