Skip to content
Permalink
Browse files

Syntax fixes

  • Loading branch information...
univ-angers committed Nov 4, 2015
1 parent 98769eb commit eda5af2867d8435ed0be5906d35666fc4ef37091
Showing with 14 additions and 14 deletions.
  1. +14 −14 privateMisc/readme.txt
@@ -3,44 +3,44 @@
# -------------------------------------------------

Pour compiler gecode en debug/static 64 bits:
~/Dropbox/gecode_trunk/configure --enable-static --enable-audit --enable-debug --disable-qt --disable-examples
~/Sources/gecode_trunk/configure --enable-static --enable-audit --enable-debug --disable-qt --disable-examples

Pour compiler gecode en release/static 64 bits:
~/Dropbox/gecode_trunk/configure --enable-static --disable-qt --disable-examples
~/Sources/gecode_trunk/configure --enable-static --disable-qt --disable-examples

Pour compiler gecode en debug 32 bits
CC="gcc -m32" CXX="g++ -m32" ~/Dropbox/gecode_trunk/configure --enable-audit --enable-debug --disable-mpfr
CC="gcc -m32" CXX="g++ -m32" ~/Sources/gecode_trunk/configure --enable-audit --enable-debug --disable-mpfr

Pour compiler gecode en debug/static 32 bits
CC="gcc -m32" CXX="g++ -m32" ~/Dropbox/gecode_trunk/configure --enable-static --enable-audit --enable-debug --disable-qt --disable-examples
CC="gcc -m32" CXX="g++ -m32" ~/Sources/gecode_trunk/configure --enable-static --enable-audit --enable-debug --disable-qt --disable-examples

Pour compiler gecode en release 32 bits
CC="gcc -m32" CXX="g++ -m32" ~/Dropbox/gecode_trunk/configure --disable-qt --disable-examples
CC="gcc -m32" CXX="g++ -m32" ~/Sources/gecode_trunk/configure --disable-qt --disable-examples

Pour compiler gecode en release/static 32 bits
CC="gcc -m32" CXX="g++ -m32" ~/Dropbox/gecode_trunk/configure --enable-static --disable-qt --disable-examples
CC="gcc -m32" CXX="g++ -m32" ~/Sources/gecode_trunk/configure --enable-static --disable-qt --disable-examples

# -------------------------------------------------
# Génération des versions compilées de QuaCode :
# -------------------------------------------------

Pour compiler gecode en debug 32 bits
CC="gcc -m32" CXX="g++ -m32" cmake -DCMAKE_BUILD_TYPE=Debug -DLOG_AUDIT=ON -DGECODE_BIN=/home/vincent/builds/gecode-debug-32 -DGECODE_SRC=/home/vincent/Dropbox/gecode_trunk /home/vincent/Sources/quacode
CC="gcc -m32" CXX="g++ -m32" cmake -DCMAKE_BUILD_TYPE=Debug -DLOG_AUDIT=ON -DGECODE_BIN=/home/vincent/builds/gecode-debug-32 -DGECODE_SRC=/home/vincent/Sources/gecode_trunk /home/vincent/Sources/quacode

Pour compiler gecode en debug/static 32 bits
CC="gcc -m32" CXX="g++ -m32" cmake -DSTATIC_LINKING=ON -DCMAKE_BUILD_TYPE=Debug -DLOG_AUDIT=ON -DGECODE_BIN=/home/vincent/builds/gecode-debug-static-32 -DGECODE_SRC=/home/vincent/Dropbox/gecode_trunk /home/vincent/Sources/quacode/
CC="gcc -m32" CXX="g++ -m32" cmake -DSTATIC_LINKING=ON -DCMAKE_BUILD_TYPE=Debug -DLOG_AUDIT=ON -DGECODE_BIN=/home/vincent/builds/gecode-debug-static-32 -DGECODE_SRC=/home/vincent/Sources/gecode_trunk /home/vincent/Sources/quacode/

Pour compiler gecode en release 32 bits
CC="gcc -m32" CXX="g++ -m32" cmake -DGECODE_BIN=/home/vincent/builds/gecode-release-32 -DGECODE_SRC=/home/vincent/Dropbox/gecode_trunk /home/vincent/Sources/quacode/
CC="gcc -m32" CXX="g++ -m32" cmake -DGECODE_BIN=/home/vincent/builds/gecode-release-32 -DGECODE_SRC=/home/vincent/Sources/gecode_trunk /home/vincent/Sources/quacode/

Pour compiler gecode en release/static 32 bits
CC="gcc -m32" CXX="g++ -m32" cmake -DSTATIC_LINKING=ON -DGECODE_BIN=/home/vincent/builds/gecode-release-static-32 -DGECODE_SRC=/home/vincent/Dropbox/gecode_trunk /home/vincent/Sources/quacode/
CC="gcc -m32" CXX="g++ -m32" cmake -DSTATIC_LINKING=ON -DGECODE_BIN=/home/vincent/builds/gecode-release-static-32 -DGECODE_SRC=/home/vincent/Sources/gecode_trunk /home/vincent/Sources/quacode/

# -------------------------------------------------
# Compilation Quacode
# -------------------------------------------------
cmake -DGECODE_BIN=/home/vincent/builds/gecode-debug -DGECODE_SRC=/home/vincent/Dropbox/gecode_trunk /home/vincent/Dropbox/Sources/
cmake -DBUILD_SHARED_LIBS=true -DGECODE_BIN=/home/vincent/builds/gecode-debug -DGECODE_SRC=/home/vincent/Dropbox/gecode_trunk /home/vincent/Dropbox/Sources/
cmake -DGECODE_BIN=/home/vincent/builds/gecode-debug -DGECODE_SRC=/home/vincent/Sources/gecode_trunk /home/vincent/Sources/Sources/
cmake -DBUILD_SHARED_LIBS=true -DGECODE_BIN=/home/vincent/builds/gecode-debug -DGECODE_SRC=/home/vincent/Sources/gecode_trunk /home/vincent/Sources/Sources/

# -------------------------------------------------
# Divers
@@ -51,7 +51,7 @@ Pour générer un core dump : ulimit -c unlimited
Pour killer un programme afin qu'il génère un core dump : kill -11

Pour faire un diff avec le trunk :
diff -urN --exclude='.svn' --exclude='.settings' --exclude='autom4te.cache' -x configure -x Makefile -x config.hpp* ~/Dropbox/gecode_trunk/ .
diff -urN --exclude='.svn' --exclude='.settings' --exclude='autom4te.cache' -x configure -x Makefile -x config.hpp* ~/Sources/gecode_trunk/ .

svn propset svn:keywords "Author Date Id Revision" all-interval.cpp

@@ -60,4 +60,4 @@ Ligne de diff entre Quacode du trunk de Gecode et mon répertoire courant.
Ça élimine les lignes de révision du svn et les répertoires 'git' et 'privateMisc'
On peut en faire un patch à appliquer directement sur le trunk de Gecode

diff -uNr -x '.git' -x 'privateMisc' -I '\* *$Date' -I '\* *$Revision' -I '# *$Date' -I '# *$Revision' ~/Dropbox/gecode_trunk/contribs/quacode/ ./quacode
diff -uNr -x '.git' -x 'privateMisc' -I '\* *$Date' -I '\* *$Revision' -I '# *$Date' -I '# *$Revision' ~/Sources/gecode_trunk/contribs/quacode/ ./quacode

0 comments on commit eda5af2

Please sign in to comment.
You can’t perform that action at this time.