]> matita.cs.unibo.it Git - helm.git/blob - helm/http_getter/Makefile.in
- bugfix: installs also cmi for modules which doesn't have mli
[helm.git] / helm / http_getter / Makefile.in
1 INSTALL_DIR=@RESOLVED_EXEC_PREFIX@/bin
2 CGI_DIR=@HELM_CGI_DIR@
3
4 all:
5
6 install: installgetter installcgi
7
8 uninstall: uninstallcgi uninstallgetter
9
10 installgetter:
11         cp http_getter.pl $(INSTALL_DIR)/
12
13 installcgi:
14         for f in *.cgi; do \
15   if [ -f $$f ]; then \
16    cp -f $$f $(CGI_DIR)/; \
17   fi; \
18  done
19
20 uninstallgetter:
21         rm $(INSTALL_DIR)/http_getter.pl
22
23 uninstallcgi:
24         for f in *.cgi; do \
25   rm -f $(CGI_DIR)/$$f; \
26  done
27
28 clean:
29
30 distclean: clean
31         rm -f Makefile configure config.log config.cache config.status \
32          http_getter.pl *.spec
33
34 dist:   clean
35         rm -rf ../@PACKAGE@-@VERSION@
36         mkdir ../@PACKAGE@-@VERSION@
37         cp -r * ../@PACKAGE@-@VERSION@
38         (cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)
39
40 .PHONY: all install distclean
41