source: Deliverables/D5.1/cost-plug-in/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: 670 bytes
Line 
1PACKAGE=cost-plug-in
2PACKAGE_RES=$(PACKAGE).tgz
3
4all:
5        make -C plugin
6        make -C wrapper
7
8install:
9        make -C plugin install
10        make -C wrapper install
11
12clean:
13        rm -fr $(PACKAGE) $(PACKAGE_RES)
14        make -C plugin clean
15        make -C wrapper clean
16
17distclean: clean
18        make -C plugin distclean
19        make -C wrapper distclean
20
21dist:
22        rm -fr $(PACKAGE) $(PACKAGE_RES)
23        mkdir $(PACKAGE)
24        for i in `cat distributed_files` doc/html/*.html; do    \
25          if test -f $$i; then                                  \
26            cp -fr --parents $$i $(PACKAGE);                    \
27          else                                                  \
28            mkdir -p $$i;                                       \
29          fi;                                                   \
30        done
31        tar cvfz $(PACKAGE_RES) $(PACKAGE)
32
33.PHONY = install clean distclean dist
Note: See TracBrowser for help on using the repository browser.