source: Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/Makefile @ 1689

Last change on this file since 1689 was 1689, checked in by tranquil, 7 years ago

kept out the wrapper (which I did not touch, so not sure it works)

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