|
From: | Daniel Diaz |
Subject: | Compiling gprolog with gcc >= 3.3.3 |
Date: | Mon, 07 Jun 2004 16:23:38 +0200 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040116 |
I have released a rpm compiled with gcc 3.4.0 and a source distribution: ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/unstable/gprolog-20040607.i386.rpm ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/unstable/gprolog-20040607.tgz To compile the source distribution you need to configure it as follows: ./configure --with-c-flags=-O (There is problem when compiling with -O2 or -O3. I'll check this asap) make (there are a lot of warnings, don't worry) make install Good luck =============================================== Daniel Diaz University of Paris 1 INRIA Rocquencourt 75013 Paris FRANCE 78153 Le Chesnay FRANCE web: http://pauillac.inria.fr/~diaz email: address@hidden --Ce message a subi une analyse antivirus par MailScanner ; il est vraisemblablement
sans danger.
[Prev in Thread] | Current Thread | [Next in Thread] |