]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/blob - debian/rules
some packaging work
[pkg-cerco/acc-trusted.git] / debian / rules
1 #!/usr/bin/make -f
2
3 %:
4         dh $@
5
6 override_dh_auto_build:
7         ./build
8         
9 override_dh_auto_install:
10
11 override_dh_auto_clean:
12         find . -name '*.cmo' -exec rm {} \;
13         find . -name '*.cmi' -exec rm {} \;
14         find . -name '*.cmx' -exec rm {} \;
15         rm -rf extracted/_build/ extracted/extracted.mlpack 
16
17 override_dh_auto_test:
18         # no test