Commit 52a98abb authored by Julian Kranz's avatar Julian Kranz

Makefile (manual)

parent 67ecda65
......@@ -22,7 +22,7 @@ GDSL_RREIL_HL=specifications/rreil/rreil.ml specifications/rreil/rreil-examples.
GDSL_OPT_HL=specifications/rreil/rreil-liveness.ml specifications/rreil/rreil-cleanup.ml
GDSL_X86_HL=specifications/x86/x86.ml specifications/x86/x86-pretty.ml specifications/x86/x86-pretty-simple.ml
GDSL_X86_TRANS_HL=specifications/x86/x86-rreil-translator.ml specifications/x86/x86-rreil-translator-a-l.ml specifications/x86/x86-rreil-translator-m-z.ml specifications/x86/x86-rreil-registermapping.ml
GDSL_X86_TRANS_HL=specifications/x86/x86-rreil-translator.ml specifications/x86/x86-rreil-translator-a-l.ml specifications/x86/x86-rreil-translator-m-z.ml specifications/x86/x86-rreil-registermapping.ml specifications/x86/x86-rreil-pretty.ml
GDSL_X86_OPT_HL=specifications/x86/x86-liveness.ml
GDSL_SOURCES=$(GDSL_BASIS_HL) $(GDSL_RREIL_HL) $(GDSL_X86_HL) $(GDSL_X86_TRANS_HL) $(GDSL_OPT_HL) $(GDSL_X86_OPT_HL)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment