source: Deliverables/D5.1/cost-plug-in/wrapper/Makefile @ 1462

Last change on this file since 1462 was 1462, checked in by ayache, 8 years ago

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

File size: 241 bytes
Line 
1RES = frama-c_lustre
2
3all:
4        ocamlbuild main.native
5        cp main.native $(RES)
6
7install:
8        mkdir -p /usr/local/bin
9        cp $(RES) /usr/local/bin/
10
11clean:
12        rm -rf _build *~ main.native
13
14distclean: clean
15        rm -rf $(RES)
16
17.PHONY = install clean distclean
Note: See TracBrowser for help on using the repository browser.