]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blobdiff - debian/rules
first version of the package
[pkg-cerco/acc.git] / debian / rules
diff --git a/debian/rules b/debian/rules
new file mode 100755 (executable)
index 0000000..e753af9
--- /dev/null
@@ -0,0 +1,17 @@
+#!/usr/bin/make -f
+
+%:
+       dh $@
+       
+override_dh_auto_configure:
+       ./configure --without-webapp --prefix=/usr/
+
+override_dh_auto_install:
+       $(MAKE) install PREFIX=debian/tmp/usr/
+
+override_dh_auto_clean:
+       $(MAKE) clean
+       rm -rf Makefile.variables _tags lib/ src/common/intValueConfig.ml
+
+override_dh_auto_test:
+       # no test