blob: 0f09d87d27427a087def620fe2ccec662212d927 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
.PHONY: clean
BIN=analyze
SRCDIRS=libs,frontend,abstract
all: $(BIN)
$(BIN): main.ml abstract/domain.ml abstract/constant_domain.ml
ocamlbuild -Is $(SRCDIRS) -cflags '-I /usr/lib/ocaml/zarith' -lflags '-I /usr/lib/ocaml/zarith zarith.cmxa' main.native
mv main.native $(BIN)
clean:
rm -rf _build
|
