RES = frama-c_lustre

all:
	ocamlbuild main.native
	cp main.native $(RES)

install:
	mkdir -p @prefix@/bin
	cp $(RES) @prefix@/bin

clean:
	rm -rf _build *~ main.native

distclean: clean
	rm -rf $(RES)

.PHONY = install clean distclean