Commit fbf574e0 authored by Julian Kranz's avatar Julian Kranz

Cleanup

parent 28cf4676
\.cm/
\.swp
resources/
\.ast
\.clos
\.cps
\.core
\.cproject*
\.project*
\.settings*
\.externalToolBuilders
\.o
\.so
\.a
\.class
\.jar
\.bin
STATS
examples/x86/cli
^gdsl$
^gdslc$
^gdsl.c$
^gdsl.h$
^gdsl_manual.c$
^gdsl_manual.h$
x86-tester/x86-generator/Debug/
x86-tester/rreil/Debug/
x86-tester/gdsl/Debug/
x86-tester/x86/Debug/
x86-tester/x86-tester/Debug/
x86-tester/x86-test-runner/Debug/
x86-tester/x86-test-stats-runner/Debug/
x86-tester/util/Debug/
tardet/Debug/
tools/decoder-cli$
tools/semantics-cli$
tools/semantics-cli-dynamic$
tools/semantics-cif-cli$
tools/cli-gdrr$
tools/liveness-sweep$
tools/sweep$
tools/x86-test-runner/x86-test-runner$
tools/x86-test-stats-runner/x86-test-stats-runner$
tools/tardet/tardet$
tools/xed-cmp/xed-cmp$
^include$
^lib$
^gdsl-avr-rreil.h$
^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/
020dca84d06f508ce7c75112dbc5406a03c2dc49 big_dis.c
cbf435b9283c831cae4225ec5d6c500ec814d73b inference_bug
745c72e7cb287ef01cc79d862a9a10dba40cd5cd duplicate-case
809b678db26f527e75d927ffe1fa7fd96b6ed34a typeInferencePass_hangs
31976c8f23b2ec4b1d804c4a85030455f4fc1870 type_opt_bug_rreil_convert_sem_expr
aeb0bb6645a6efe8c8e17757c1ad63c7c3927127 ins_count_declared_void
5e64ddc8c6cf19a2fbf2d86b78e1321b070900e4 no_refinement
#!/bin/bash
#./gdsl @MLton fixed-heap 6g -- "specifications/basis/bbtree.ml" "specifications/rreil/rreil.ml" "specifications/rreil/fmap.ml" "specifications/x86/x86.ml" "specifications/x86/x86-rreil-registermapping.ml" "specifications/x86/x86-pretty.ml" "specifications/rreil/rreil-pretty.ml" "specifications/x86/x86-rreil-translator.ml" "specifications/x86/x86-rreil-translator-a-l.ml" "specifications/x86/x86-rreil-translator-m-z.ml"
#./gdsl @MLton fixed-heap 6g -- "specifications/rreil/rreil.ml" "specifications/rreil/rreil-pretty.ml" "specifications/rreil/rreil-liveness-test.ml"
#./gdsl @MLton fixed-heap 6g -- "specifications/rreil/rreil.ml" "specifications/rreil/rreil-pretty.ml" "specifications/rreil/rreil-liveness-test.ml" "specifications/rreil/rreil-liveness.ml" "specifications/basis/bbtree.ml" "specifications/rreil/fmap.ml" "specifications/x86/x86-rreil-registermapping.ml" "specifications/x86/x86.ml"
./gdsl @MLton fixed-heap 6g -- $1 "specifications/basis/bbtree.ml" "specifications/basis/print.ml" "specifications/rreil/rreil.ml" "specifications/rreil/fmap.ml" "specifications/x86/x86.ml" "specifications/x86/x86-rreil-registermapping.ml" "specifications/x86/x86-pretty.ml" "specifications/x86/x86-pretty-simple.ml" "specifications/rreil/rreil-pretty.ml" "specifications/x86/x86-rreil-translator.ml" "specifications/x86/x86-rreil-translator-a-l.ml" "specifications/x86/x86-rreil-translator-m-z.ml" "specifications/rreil/rreil-liveness.ml" "specifications/rreil/rreil-cleanup.ml" "specifications/x86/x86-liveness.ml" "specifications/rreil/rreil-cif.ml" "specifications/basis/selectors.ml" "specifications/basis/invoke.ml"
#[ $? -eq 0 ] && clang -fno-inline -O -c dis.c -o dis.o
#[ $? -eq 0 ] && clang -fPIC -c dis.c -o dis.o && ar -r "lib/libdis.a" dis.o
#[ $? -eq 0 ] && clang -fPIC -c dis.c -o dis.o && gcc -shared -Wl,-soname,libdis.so -o lib/libdis.so dis.o
[ $? -eq 0 ] && clang -g3 -fPIC -c gdsl-x86.c -o gdsl-x86.o && gcc -g3 -shared -Wl,-soname,libgdsl-x86.so -o lib/libgdsl-x86.so gdsl-x86.o
#[ $? -eq 0 ] && clang -fno-inline -O -S dis.c
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