rules revision dbeb8584c06e52eb8f1805f60ec7726bf54b1e94
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse#!/usr/bin/make -f
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse# -*- makefile -*-
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse%:
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse dh $@
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseoverride_dh_auto_clean:
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse make distclean
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse dh_auto_clean
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseoverride_dh_auto_build:
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse make derivedSources
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse cp Makefile Makefile.orig
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse cp UbuntuMakefile Makefile
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse make depend
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse make hets
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse cp Makefile.orig Makefile
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse cd doc && pdflatex UserGuide.tex
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse make doc
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseoverride_dh_auto_test:
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse yes X | make check
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseoverride_dh_installman:
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse dh_installman debian/hets.1
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rseoverride_dh_install:
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse install -m 755 -d debian/hets-core/usr/lib/hets
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse install -m 755 hets debian/hets-core/usr/lib/hets
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse install -m 755 -d debian/hets-core/usr/lib/hets/hets-isa-tools
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse install -m 755 Isabelle/export/export.sh debian/hets-core/usr/lib/hets/hets-isa-tools
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse cp Isabelle/export/export_helper.ml debian/hets-core/usr/lib/hets/hets-isa-tools
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse cp -r hets-lib debian/hets-core/usr/lib/hets
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse install -m 644 magic/hets.magic debian/hets-core/usr/lib/hets
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse cp -r hets-owl-tools debian/hets-core/usr/lib/hets
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse install -m 755 -d debian/hets-core/usr/lib/hets/hets-maude-lib
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse install -m 644 Maude/hets.prj debian/hets-core/usr/lib/hets/hets-maude-lib
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse cp Maude/*maude debian/hets-core/usr/lib/hets/hets-maude-lib
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse install -m 755 -d debian/hets-doc/usr/share/doc/hets-doc/html
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse cp docs/* debian/hets-doc/usr/share/doc/hets-doc/html
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse install -m 755 -d debian/hets-core/usr/bin
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse cp debian/hets_script debian/hets-core/usr/bin/hets
d86ef5503dcbc38e87c0e03cd3e1f16458cb6323rse