← Back to branch summary

~srba/verifytapn/trunk

« back to all changes in this revision

Viewing changes to src/compile-win-32.sh

  • Committer: Jiri Srba
  • Date: 2011-06-22 11:25:42 UTC
  • Revision ID: srba@cs.aau.dk-20110622112542-uj941cfoyaxy987w
added windows 32 bit version compilation script

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/compile-win-32.sh
 
1
#!/bin/bash
 
2
 
 
3
parser=Core/QueryParser
 
4
 
 
5
incw32="-I$HOME/dev/iaw32/include -I$HOME/dev/iaw32/uppaal/include"
 
6
libw32="-L$HOME/dev/iaw32/uppaal/lib -ludbm"
 
7
 
 
8
src=`find . -name "*.cpp"`
 
9
 
 
10
#flex -o $parser/Generated/lexer.cpp $parser/flex.ll
 
11
bison -o $parser/Generated/parser.cpp $parser/grammar.yy
 
12
 
 
13
i586-mingw32msvc-g++ -DBOOST_DISABLE_THREADS -DNDEBUG -DDISABLE_ASSERTX -static -O3 -Wall \
 
14
    $src $incw32 $libw32 -o verifytapn32.exe && \
 
15
i586-mingw32msvc-strip verifytapn32.exe && \
 
16
echo "32-bit win OK" 
 
17