Megalodon/makeopt at master · ai4reason/Megalodon · GitHub

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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
#!/bin/bash


mkdir bin

# If ocamlopt is not in your PATH, put the full path here.
export OCAMLOPT=ocamlopt
export OCAMLLEX=ocamllex

$OCAMLLEX src/lexer.mll

$OCAMLOPT -I bin -o bin/ser.cmi -c src/ser.mli
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/ser.cmx -c src/ser.ml
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/hashaux.cmi -c src/hashaux.mli
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/hashaux.cmx -c src/hashaux.ml
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/sha256.cmi -c src/sha256.mli
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/sha256.cmx -c src/sha256.ml
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/hash.cmi -c src/hash.mli
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/hash.cmx -c src/hash.ml
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/mathdata.cmi -c src/mathdata.mli
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/mathdata.cmx -c src/mathdata.ml
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/mathdatapfg.cmi -c src/mathdatapfg.mli
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/mathdatapfg.cmx -c src/mathdatapfg.ml
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/syntax.cmi -c src/syntax.mli
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/syntax.cmx -c src/syntax.ml
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/parser.cmi -c src/parser.mli
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/parser.cmx -c src/parser.ml
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/lexer.cmx -c src/lexer.ml
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/megaauto.cmi -c src/megaauto.mli
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/megaauto.cmx -c src/megaauto.ml
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/interpret.cmi -c src/interpret.mli
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/interpret.cmx -c src/interpret.ml
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -I bin -o bin/megalodon.cmx -c src/megalodon.ml
if [ $? -gt 0 ]
then
    exit 1
fi
$OCAMLOPT -o bin/megalodon unix.cmxa bin/ser.cmx bin/hashaux.cmx bin/sha256.cmx bin/hash.cmx bin/mathdata.cmx bin/mathdatapfg.cmx bin/syntax.cmx bin/parser.cmx bin/lexer.cmx bin/megaauto.cmx bin/interpret.cmx bin/megalodon.cmx
if [ $? -gt 0 ]
then
    exit 1
fi