blob: dbf653f6c51f528a674bc1cab44fa0bd92f12e86 (
plain)
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
|
dummy: all
lem-model:
../../lem/lem -ocaml -only_changed_output missing_pervasives.lem show.lem endianness.lem default_printing.lem bitstring.lem elf_types.lem elf_interpreted_segment.lem elf_symbol_table.lem elf_header.lem elf_file1.lem elf_program_header_table.lem elf_executable_file2.lem elf_section_header_table.lem elf_executable_file3.lem string_table.lem elf_linking_file2.lem elf_linking_file3.lem elf_relocation.lem sail_interface.lem main.lem
clean:
rm -rf missing_pervasives.ml show.ml endianness.ml bitstring_local.ml default_printing.ml elf_types.ml elf_header.ml elf_file1.ml elf_program_header_table.ml elf_executable_file2.ml elf_section_header_table.ml elf_executable_file3.ml string_table.ml elf_interpreted_segment.ml elf_symbol_table.ml elf_executable_file5.ml elf_linking_file2.ml elf_linking_file3.ml elf_relocation.ml elf_symbol_table.ml sail_interface.ml main.ml
make -C libraries clean
rm -rf elf_section_header.ml elf_symbol_table.ml
rm -rf *~
rm -rf *.cmi *.cmo
camlp4:
camlp4 '-I' '/home/dpm/.opam/4.01.0/lib/ocaml/camlp4' '-I' '/home/dpm/.opam/4.01.0/lib/bitstring' '-parser' 'o' '-parser' 'op' '-printer' 'p' 'unix.cma' 'bitstring.cma' 'bitstring_persistent.cma' 'pa_bitstring.cmo' pa_o.cmo pr_o.cmo -oml_bindings.ml 'ml_bindings_camlp4_sugared.ml'
ocaml:
ocamlfind ocamlc \
-I libraries/batteries/_build/src \
-I libraries/bitstring \
-I libraries/uint/_build/lib \
-I ../../lem/ocaml-lib/_build/ \
unix.cma nums.cma batteries.cma uint.cma bitstring.cma nat_num.cmo \
lem.cmo lem_function.cmo lem_list.cmo \
missing_pervasives.ml \
show.ml endianness.ml error.ml ml_bindings.ml default_printing.ml bitstring_local.ml elf_types.ml elf_header.ml elf_file1.ml elf_program_header_table.ml elf_executable_file2.ml string_table.ml elf_section_header_table.ml elf_interpreted_segment.ml elf_symbol_table.ml elf_executable_file3.ml elf_linking_file2.ml elf_linking_file3.ml elf_relocation.ml sail_interface.ml main.ml \
-dllpath libraries/uint/_build/lib -dllpath libraries/bitstring -package bitstring -package uint -package batteries
ocaml_native:
ocamlfind ocamlopt \
-I ../../../lem/ocaml-lib/_build/ \
-package bitstring -package uint -package batteries \
nums.cmxa unix.cmxa batteries.cmxa uint.cmxa bitstring.cmxa ../../../lem/ocaml-lib/_build/extract.cmxa \
missing_pervasives.ml \
show.ml endianness.ml error.ml ml_bindings.ml default_printing.ml bitstring_local.ml elf_types.ml elf_header.ml elf_file1.ml elf_program_header_table.ml elf_executable_file2.ml string_table.ml elf_section_header_table.ml elf_interpreted_segment.ml elf_symbol_table.ml elf_executable_file3.ml elf_linking_file2.ml elf_linking_file3.ml elf_relocation.ml sail_interface.ml main.ml
ocaml_with_ocamlbuild:
ocamlbuild -classic-display \
-X libraries -X ocaml-obsolete \
-cflag -g \
-cflags -I,libraries/batteries/_build_src \
-cflags -I,../libraries/bitstring \
-cflags -I,libraries/uint/_build/lib \
-cflags -dllpath,libraries/uint/_build/lib \
-cflags -dllpath,libraries/bitstring \
main.byte
ocaml_with_ocamlbuild_native:
ocamlbuild -classic-display \
-X libraries -X ocaml-obsolete \
-cflag -g \
-cflags -I,../../../../lem/ocaml-lib/_build/ \
-cflags -I,libraries/batteries/_build_src \
-cflags -I,libraries/bitstring \
-cflags -I,libraries/uint/_build/lib \
-cflags -dllpath,libraries/uint/_build/lib \
-cflags -dllpath,libraries/bitstring \
main.native
clean_with_ocamlbuild:
ocamlbuild -classic-display -clean
stacktrace:
export OCAMLRUNPARAM=b
ocamlfind ocamlc -package bitstring -package batteries -I ../../lem/ocaml-lib/_build/ unix.cma bitstring.cma nums.cma nat_num.cmo lem.cmo lem_function.cmo lem_list.cmo -linkpkg -g missing_pervasives.ml show.ml endianness.ml error.ml ml_bindings.ml default_printing.ml bitstring_local.ml elf_types.ml elf_header.ml elf_file1.ml elf_program_header_table.ml elf_executable_file2.ml string_table.ml elf_section_header_table.ml elf_interpreted_segment.ml elf_symbol_table.ml elf_executable_file3.ml elf_executable_file5.ml elf_linking_file2.ml elf_linking_file3.ml elf_relocation.ml sail_interface.ml main.ml
oldall: lem-model camlp4 ocaml
all: ocaml
execute:
./a.out
go: all execute
go-debug: lem-model stacktrace execute
|
