rules revision 151820e24be04a646bd73c1dace7a4914a20f7c8
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maeder#!/usr/bin/make -f
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maeder# -*- makefile -*-
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maeder
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maeder%:
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maeder dh $@
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maeder
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maederoverride_dh_auto_clean:
make distclean
dh_auto_clean
override_dh_auto_build:
make derivedSources
cp Makefile Makefile.orig
cp ReleaseMakefile Makefile
make depend
make hets
cp Makefile.orig Makefile
cd doc && pdflatex UserGuide.tex
make doc
override_dh_auto_test:
yes X | make check
override_dh_installman:
dh_installman debian/hets.1
override_dh_install:
install -m 755 -d debian/hets-core/usr/lib/hets
install -m 755 hets debian/hets-core/usr/lib/hets
install -m 755 -d debian/hets-core/usr/lib/hets/hets-isa-tools
install -m 755 Isabelle/export/export.sh debian/hets-core/usr/lib/hets/hets-isa-tools
cp Isabelle/export/export_helper.ml debian/hets-core/usr/lib/hets/hets-isa-tools
cp -r hets-lib debian/hets-core/usr/lib/hets
cp -r hets-owl-tools debian/hets-core/usr/lib/hets
install -m 755 -d debian/hets-core/usr/lib/hets/hets-maude-lib
install -m 644 Maude/hets.prj debian/hets-core/usr/lib/hets/hets-maude-lib
cp Maude/*maude debian/hets-core/usr/lib/hets/hets-maude-lib
install -m 755 -d debian/hets-doc/usr/share/doc/hets-doc/html
cp docs/* debian/hets-doc/usr/share/doc/hets-doc/html
install -m 755 -d debian/hets-core/usr/bin
cp debian/hets_script debian/hets-core/usr/bin/hets