From: Enrico Tassi <gares@fettunta.org>
Date: Wed, 3 Apr 2013 10:35:37 +0000 (+0200)
Subject: remove Makefile
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9b043ecce5efa63c7c58ef957027e094d98d16a6;p=pkg-cerco%2Fframa-c-cost-plugin.git

remove Makefile
---

diff --git a/Makefile b/Makefile
deleted file mode 100644
index 6d83fd2..0000000
--- a/Makefile
+++ /dev/null
@@ -1,38 +0,0 @@
-PACKAGE=cost-plug-in
-VERSION=0.1
-PACKAGE_RES=$(PACKAGE)-$(VERSION).tgz
-
-JESSIE=frama-c_jessie
-
-all:
-	make -C plugin
-	make -C wrapper
-
-install:
-	mkdir -p /usr/local/bin
-	cp $(JESSIE) /usr/local/bin
-	make -C plugin install
-	make -C wrapper install
-
-clean:
-	rm -fr $(PACKAGE) $(PACKAGE_RES) doc
-	make -C plugin clean
-	make -C wrapper clean
-
-distclean: clean
-	make -C plugin distclean
-	make -C wrapper distclean
-
-dist:
-	rm -fr $(PACKAGE) $(PACKAGE_RES)
-	mkdir $(PACKAGE)
-	for i in `cat distributed_files` doc/html/*.html; do	\
-	  if test -f $$i; then					\
-            cp -fr --parents $$i $(PACKAGE);			\
-          else							\
-	    mkdir -p $$i;					\
-          fi;					                \
-        done
-	tar cvfz $(PACKAGE_RES) $(PACKAGE)
-
-.PHONY = install clean distclean dist