source: Deliverables/D5.1-5.3/cost-plug-in/Makefile @ 3534

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

Frama-C plug-in (sources+documentation)

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