]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/blobdiff - debian/rules
Merge tag 'upstream/0.2'
[pkg-cerco/acc-trusted.git] / debian / rules
index 9fa7a0dcef971be36a56ce6b462db3df1910e7f6..de5776c428f2de65af004c9491a45b0e79d41902 100755 (executable)
@@ -4,15 +4,25 @@
        dh $@
 
 override_dh_auto_build:
-       ./build
+       $(MAKE) opt
        
 override_dh_auto_install:
+       mkdir -p debian/tmp/usr/bin
+       cp acc.opt debian/tmp/usr/bin/acc-trusted
 
 override_dh_auto_clean:
+       $(MAKE) clean
        find . -name '*.cmo' -exec rm {} \;
        find . -name '*.cmi' -exec rm {} \;
        find . -name '*.cmx' -exec rm {} \;
+       find . -name '*.o' -exec rm {} \;
+       find . -name '*.so' -exec rm {} \;
+       find . -name '*.a' -exec rm {} \;
+       find . -name '*.byte' -exec rm {} \;
+       rm -rf acc cparser/Lexer.ml cparser/Parser.ml cparser/Parser.mli
        rm -rf extracted/_build/ extracted/extracted.mlpack 
+       rm -rf cparser/Parser.output cparser/cparser cparser/cparser.cma
+       rm -rf cparser/cparser.cmxa extracted/_tags
 
 override_dh_auto_test:
        # no test