Megalodon/makebytecode 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
#!/bin/bash

mkdir bin

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

$OCAMLLEX src/lexer.mll

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