Commit 36f603bb authored by Julian Kranz's avatar Julian Kranz

Automake

parent 6f64b13d
......@@ -27,11 +27,6 @@ examples/x86/cli
^gdsl_manual.c$
^gdsl_manual.h$
gdrr/Debug/
jgdrr/.classpath
jgdrr/bin/
x86-tester/x86-generator/Debug/
x86-tester/rreil/Debug/
x86-tester/gdsl/Debug/
......@@ -61,3 +56,27 @@ tools/xed-cmp/xed-cmp$
^gdsl-x86-rreil.h$
toys/liveness-example.bin
^Makefile.in
^aclocal.m4
^ar-lib
^autom4te.cache/output.0
^autom4te.cache/output.1
^autom4te.cache/requests
^autom4te.cache/traces.0
^autom4te.cache/traces.1
^compile
^config.guess
^config.h.in
^config.sub
^configure
^install-sh
^ltmain.sh
^m4/libtool.m4
^m4/ltoptions.m4
^m4/ltsugar.m4
^m4/ltversion.m4
^m4/lt~obsolete.m4
^missing
^build/
AUTOMAKE_OPTIONS = -Wno-override
CLEANFILES =
CLEANFILES = STATS
noinst_PROGRAMS =
bin_PROGRAMS =
EXTRA_PROGRAMS =
......@@ -211,6 +211,8 @@ CLEANFILES += gdsl-x86-rreil.c
gdsl-x86-rreil.c : $(GDSLC_DEP) $(GDSL_BASIS) $(GDSL_X86) $(GDSL_RREIL) $(GDSL_X86SEM)
$(GDSLC) -o $(basename $@) $(GDSLFLAGS) $(filter-out $(GDSLC_DEP),$^)
CLEANFILES += gdsl-x86-rreil.c gdsl-x86-rreil.h
if X86
lib_LTLIBRARIES += libgdsl-x86.la
decoder_cli_LDADD += libgdsl-x86.la
......@@ -243,6 +245,8 @@ CLEANFILES += gdsl-avr-rreil.c
gdsl-avr-rreil.c : $(GDSLC_DEP) $(GDSL_BASIS) $(GDSL_AVR) $(GDSL_RREIL) $(GDSL_AVRSEM)
$(GDSLC) -o $(basename $@) $(GDSLFLAGS) $(filter-out $(GDSLC_DEP),$^)
CLEANFILES += gdsl-avr-rreil.c gdsl-avr-rreil.h
if AVR
lib_LTLIBRARIES += libgdsl-avr.la
decoder_cli_LDADD += libgdsl-avr.la
......@@ -255,6 +259,8 @@ CLEANFILES += gdsl-avr.c
gdsl-avr.c : $(GDSLC_DEP) $(GDSL_BASIS) $(GDSL_AVR)
$(GDSLC) -o $(basename $@) $(GDSLFLAGS) $(filter-out $(GDSLC_DEP),$^)
CLEANFILES += gdsl-avr.c gdsl-avr.h
if HAVE_RREIL
JSOURCES = src/rreil/IAddress.java \
src/rreil/BranchHint.java \
......@@ -351,6 +357,12 @@ pre-build:
$(JAR): pre-build $(JSOURCES:%=libs/jrreil/%)
ABS_DST=$$(pwd)/$(BPRE) && cd $(srcdir)/libs/jrreil && javac $(JSOURCES) -d $$ABS_DST/
jar -cf $@ $(JSOURCES:$(SPRE)/%.java=-C $(BPRE) %.class)
clean-local:
-rm -rf build/
CLEANFILES += jrreil.jar
endif
......
......@@ -123,7 +123,7 @@ val rreil-convert-sem-varls cbs varls = let
| SEM_VARLS_NIL: list
end
in
convert-inner cbs (cbs.sem_varls.sem_varls_init 42) varls
convert-inner cbs (cbs.sem_varls.sem_varls_init void) varls #Note: init is a function and, hence, has to be called by applying it to an argument
end
val rreil-sem-varls-head stmts = case stmts of
......@@ -179,7 +179,7 @@ val rreil-convert-sem-stmts cbs stmts = let
| SEM_NIL: list
end
in
convert-inner cbs (cbs.sem_stmts.init 42) stmts
convert-inner cbs (cbs.sem_stmts.init void) stmts #Note: init is a function and, hence, has to be called by applying it to an argument
end
val rreil-sem-stmts-has-more stmts = case stmts of
......
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