source: Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/Makefile.in @ 2749

Last change on this file since 2749 was 2749, checked in by regisgia, 8 years ago
  • Updated version of the Frama-C plugin.
File size: 770 bytes
Line 
1PACKAGE=cost-plug-in
2VERSION=0.1
3PACKAGE_RES=$(PACKAGE)-$(VERSION).tgz
4
5JESSIE=frama-c_jessie
6
7all:
8        make -C plugin
9        make -C wrapper
10
11install:
12        mkdir -p @prefix@/bin
13        cp $(JESSIE) @prefix@/bin
14        make -C plugin install
15        make -C wrapper install
16
17clean:
18        rm -fr $(PACKAGE) $(PACKAGE_RES) doc
19        make -C plugin clean
20        make -C wrapper clean
21
22distclean: clean
23        make -C plugin distclean
24        make -C wrapper distclean
25
26dist:
27        rm -fr $(PACKAGE) $(PACKAGE_RES)
28        mkdir $(PACKAGE)
29        for i in `cat distributed_files` doc/html/*.html; do    \
30          if test -f $$i; then                                  \
31            cp -fr --parents $$i $(PACKAGE);                    \
32          else                                                  \
33            mkdir -p $$i;                                       \
34          fi;                                                   \
35        done
36        tar cvfz $(PACKAGE_RES) $(PACKAGE)
37
38.PHONY = install clean distclean dist
Note: See TracBrowser for help on using the repository browser.