diff options
| author | Alasdair Armstrong | 2018-06-11 16:01:43 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-06-11 16:50:11 +0100 |
| commit | d96cd3e8d74b303ff89716294d173754c70cd6b7 (patch) | |
| tree | a7e68604ccf629509a75f6daa6387bc34fca8257 /aarch64/Makefile | |
| parent | 6b70f78c3c9477d4c5f417ed0a5d96abc19c9fb0 (diff) | |
More efficient bitfield implementation
Diffstat (limited to 'aarch64/Makefile')
| -rw-r--r-- | aarch64/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/Makefile b/aarch64/Makefile index 58281dc7..07bc67ae 100644 --- a/aarch64/Makefile +++ b/aarch64/Makefile @@ -8,7 +8,7 @@ aarch64.c: no_vector.sail $(SAIL) $^ -c -O -undefined_gen -no_lexp_bounds_check -memo_z3 1> aarch64.c aarch64_c: aarch64.c - gcc -O2 $^ -o aarch64_c -lgmp -L $(SAIL_DIR)/lib + gcc -O2 $^ -o aarch64_c -lgmp -I $(SAIL_DIR)/lib aarch64: no_vector.sail $(SAIL) $^ -o aarch64 -ocaml -undefined_gen -no_lexp_bounds_check -memo_z3 |