]> matita.cs.unibo.it Git - helm.git/blob - helm/software/ocamlbuild.sh
positivity check fixed, a MutInd not applied (but with an exp-named-subst)
[helm.git] / helm / software / ocamlbuild.sh
1 CAML=/usr/lib/ocaml/3.10.1
2
3 echo CLEAN
4 ocamlbuild.native -clean
5 echo SYNTAX-EXTENSIONS
6 ocamlbuild.native $V \
7         -cflags -I,$CAML/camlp5 \
8         -lflags -I,$CAML/camlp5/ \
9         -pp camlp5o,q_MLast.cmo,pa_extend.cmo,-loc,loc \
10         components/syntax_extensions/pa_unicode_macro.cma
11 echo GLADE
12 lablgladecc2 -embed matita/matita.glade > matita/matitaGeneratedGui.ml
13 echo MATITA
14 ocamlbuild.native \
15         -pp camlp5o,-I,$CAML/ulex08 \
16         -pp -I,$PWD/_build/components/syntax_extensions/ \
17         -pp pa_extend.cmo,pa_ulex.cma,pa_unicode_macro.cma,-loc,loc \
18         -I components/acic_content\
19         -I components/acic_procedural\
20         -I components/cic\
21         -I components/cic_acic\
22         -I components/cic_disambiguation\
23         -I components/cic_disambiguation/doc\
24         -I components/cic_disambiguation/tests\
25         -I components/cic_exportation\
26         -I components/cic_proof_checking\
27         -I components/cic_proof_checking/doc\
28         -I components/cic_unification\
29         -I components/content_pres\
30         -I components/extlib\
31         -I components/getter\
32         -I components/grafite\
33         -I components/grafite_engine\
34         -I components/grafite_parser\
35         -I components/hgdome\
36         -I components/hmysql\
37         -I components/lexicon\
38         -I components/library\
39         -I components/logger\
40         -I components/metadata\
41         -I components/registry\
42         -I components/registry/tests\
43         -I components/syntax_extensions\
44         -I components/syntax_extensions/data\
45         -I components/tactics\
46         -I components/tactics/paramodulation\
47         -I components/thread\
48         -I components/thread/fake\
49         -I components/tptp_grafite\
50         -I components/urimanager\
51         -I components/whelp\
52         -I components/xml\
53         -I components/xmldiff\
54         -I matita \
55         -cflags -I,$CAML/ \
56         -cflags -I,$CAML/camlp5 \
57         -cflags -I,$CAML/expat \
58         -cflags -I,$CAML/gdome2 \
59         -cflags -I,$CAML/http \
60         -cflags -I,$CAML/lablgtk2 \
61         -cflags -I,$CAML/lablgtk2 \
62         -cflags -I,$CAML/lablgtkmathview \
63         -cflags -I,$CAML/mysql \
64         -cflags -I,$CAML/netstring \
65         -cflags -I,$CAML/netstring \
66         -cflags -I,$CAML/pcre \
67         -cflags -I,$CAML/sqlite3 \
68         -cflags -I,$CAML/ulex08 \
69         -cflags -I,$CAML/zip \
70         -lflags $CAML/unix.cma \
71         -lflags $CAML/camlp5/camlp5.cma \
72         -lflags $CAML/pcre/pcre.cma \
73         -lflags $CAML/sqlite3/sqlite3.cma \
74         -lflags $CAML/expat/expat.cma \
75         -lflags $CAML/gdome2/gdomeInit.cmo \
76         -lflags $CAML/gdome2/mlgdome.cma \
77         -lflags $CAML/gdome2/mlogdome.cma \
78         -lflags $CAML/pcre/pcre.cma \
79         -lflags $CAML/netsys/netsys.cma \
80         -lflags $CAML/netstring/netstring.cma \
81         -lflags $CAML/threads/threads.cma \
82         -lflags $CAML/netstring/netstring_mt.cmo \
83         -lflags $CAML/netstring/netaccel.cma \
84         -lflags $CAML/netstring/netaccel_link.cmo \
85         -lflags $CAML/http/http_mt.cma \
86         -lflags $CAML/lablgtk2/lablgtk.cma \
87         -lflags $CAML/lablgtk2/gtkThread.cmo \
88         -lflags $CAML/lablgtk2/lablgtk.cma\
89         -lflags $CAML/lablgtk2/lablgtksourceview.cma \
90         -lflags $CAML/lablgtk2/lablglade.cma \
91         -lflags $CAML/gdome2/gdomeInit.cmo \
92         -lflags $CAML/gdome2/mlgdome.cma \
93         -lflags $CAML/gdome2/mlogdome.cma \
94         -lflags $CAML/lablgtk2/lablgtk.cma \
95         -lflags $CAML/lablgtk2/gtkThread.cmo \
96         -lflags $CAML/lablgtkmathview/lablgtkmathview.cma \
97         -lflags $CAML/mysql/mysql.cma \
98         -lflags $CAML/pcre/pcre.cma \
99         -lflags $CAML/netsys/netsys.cma \
100         -lflags $CAML/netstring/netstring.cma \
101         -lflags $CAML/netstring/netstring_mt.cmo \
102         -lflags $CAML/netstring/netaccel.cma \
103         -lflags $CAML/netstring/netaccel_link.cmo \
104         -lflags $CAML/ulex08/ulexing.cma \
105         -lflags $CAML/str.cma \
106         -lflags $CAML/zip/zip.cma \
107         -lflags $CAML/pcre/pcre.cma \
108         -lflags $CAML/netsys/netsys.cma \
109         -lflags $CAML/netstring/netstring.cma \
110         -lflags $CAML/netstring/netstring_mt.cmo \
111         -lflags $CAML/netstring/netaccel.cma \
112         -lflags $CAML/netstring/netaccel_link.cmo \
113         -cflags -rectypes -cflags -thread \
114         -j 3 \
115         matita/matita.byte matita/matitac.byte
116