forked from MizarProject/system
-
Notifications
You must be signed in to change notification settings - Fork 0
/
compile_debug.sh
54 lines (54 loc) · 8.42 KB
/
compile_debug.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
rm -rf bin
rm -rf obj
rm -rf ppu
mkdir -p bin
mkdir -p obj
mkdir -p ppu
cd kernel
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../base -o../bin/makeenv makeenv.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../base -o../bin/verifier verifier.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../base -o../bin/accom accom.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../base -o../bin/exporter exporter.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../base -FE../bin -onaccom naccom.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../base -FE../bin -otransfer transfer.dpr
cd ../base
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -FE../bin -oesmprocessor esmprocessor.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -FE../bin -omsmprocessor msmprocessor.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -FE../bin -owsmparser wsmparser.dpr
cd ../addtools
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../base -FE../bin -oaddfmsg addfmsg.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -FE../bin -ochkerr chkerr.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../base -FE../bin -ocommextr commextr.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../base -Fu../libtools -FE../bin -oedtfile edtfile.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -FE../bin -oerrflag errflag.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -FE../bin -omglue mglue.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -FE../bin -omsplit msplit.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -FE../bin -oprune prune.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -FE../bin -oremflags remflags.dpr
cd ../libtools
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -ocheckvoc checkvoc.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -ochkrprem chkrprem.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -ocreatevd createvd.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -odellink dellink.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -oenvget envget.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -orefrem refrem.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -orelinfer relinfer.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -oreliters reliters.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -orenthlab renthlab.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -oreplthls replthls.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -otrivdemo trivdemo.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -ounhereby unhereby.dpr
cd ../usrtools
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -oabsedt absedt.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../libtools -Fu../kernel -Fu../base -FE../bin -ochklab chklab.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../libtools -Fu../kernel -Fu../base -FE../bin -oconstr constr.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../libtools -Fu../kernel -Fu../base -FE../bin -ofindvoc findvoc.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -oinacc inacc.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -oirrths irrths.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -oirrvoc irrvoc.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -olisppars lisppars.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../kernel -Fu../base -FE../bin -olistvoc listvoc.dpr
fpc -Mdelphi -dMDEBUG -d_XML_INDENTING -dGDEBUG -dFRM2THESIS -dANALYZER_REPORT -dTHEOREM2REDUCTION -dDEBUG_ELLIPSES -dTEST_CONTR -dDEBUGSUPERCLUSTERS -Fu../libtools -Fu../kernel -Fu../base -FE../bin -orelprem relprem.dpr
cd ..
mv ./bin/*.o ./obj
mv ./bin/*.ppu ./ppu