]> matita.cs.unibo.it Git - pkg-cerco/frama-c-cost-plugin.git/blob - wrapper/Makefile.in
Imported Upstream version 0.1
[pkg-cerco/frama-c-cost-plugin.git] / wrapper / Makefile.in
1 RES = frama-c_lustre
2
3 all:
4         ocamlbuild main.native
5         cp main.native $(RES)
6
7 install:
8         mkdir -p @prefix@/bin
9         cp $(RES) @prefix@/bin
10
11 clean:
12         rm -rf _build *~ main.native
13
14 distclean: clean
15         rm -rf $(RES)
16
17 .PHONY = install clean distclean