diff options
Diffstat (limited to 'src/elf_model/Makefile')
| -rw-r--r-- | src/elf_model/Makefile | 68 |
1 files changed, 62 insertions, 6 deletions
diff --git a/src/elf_model/Makefile b/src/elf_model/Makefile index 42e17cce..dbf653f6 100644 --- a/src/elf_model/Makefile +++ b/src/elf_model/Makefile @@ -1,19 +1,76 @@ dummy: all lem-model: - ../../lem/lem -ocaml -only_changed_output missing_pervasives.lem show.lem endianness.lem bitstring.lem elf_types.lem elf_interpreted_segment.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_executable_file4.lem elf_executable_file5.lem sail_interface.lem main.lem + ../../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 missing_pervasives.ml show.ml endianness.ml bitstring_local.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_executable_file4.ml elf_interpreted_segment.ml elf_executable_file5.ml sail_interface.ml main.ml + 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 -package bitstring.syntax -package batteries -package uint -syntax camlp4o -I ../../lem/ocaml-lib/_build/ unix.cma bitstring.cma nums.cma nat_num.cmo lem.cmo lem_function.cmo lem_list.cmo -linkpkg missing_pervasives.ml show.ml endianness.ml error.ml ml_bindings.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_executable_file3.ml elf_executable_file4.ml elf_interpreted_segment.ml elf_executable_file5.ml sail_interface.ml main.ml + 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.syntax -package batteries -syntax camlp4o -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 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_executable_file3.ml elf_executable_file4.ml elf_interpreted_segment.ml elf_executable_file5.ml sail_interface.ml main.ml + 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: lem-model ocaml +all: ocaml execute: ./a.out @@ -21,4 +78,3 @@ execute: go: all execute go-debug: lem-model stacktrace execute - |