diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-03 14:36:20 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-03 14:36:20 +0200 |
| commit | 79bf56c809e727ed763e698386163706be2db0a7 (patch) | |
| tree | 44abbe49e3591fc5ebf7e355c0b7778684eb6685 /Makefile | |
| parent | 82f267be66c1932365bb52b42f54ef03b4211081 (diff) | |
| download | scade-analyzer-79bf56c809e727ed763e698386163706be2db0a7.tar.gz scade-analyzer-79bf56c809e727ed763e698386163706be2db0a7.zip | |
Add ABRO example ; correct interpret bug.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -32,7 +32,8 @@ all: $(BIN) $(BIN): $(SRC) ocamlbuild -Is $(SRCDIRS) -cflags '-I +zarith -I +apron -I +gmp -I +str' \ -lflags '-I +zarith -I +apron -I +gmp -I +str str.cmxa zarith.cmxa bigarray.cmxa gmp.cmxa apron.cmxa polkaMPQ.cmxa unix.cmxa' \ - main.native + main.native \ + -classic-display mv main.native $(BIN) clean: |