rules revision 0a41d344f4e1320a6f3f3afbfa8d34a9c0e76f55
21155e63bac193abc764d791360132392eb79c4dcmaeder#!/usr/bin/make -f
21155e63bac193abc764d791360132392eb79c4dcmaeder# -*- makefile -*-
21155e63bac193abc764d791360132392eb79c4dcmaeder
21155e63bac193abc764d791360132392eb79c4dcmaeder%:
21155e63bac193abc764d791360132392eb79c4dcmaeder dh $@
21155e63bac193abc764d791360132392eb79c4dcmaeder
21155e63bac193abc764d791360132392eb79c4dcmaederoverride_dh_auto_clean:
21155e63bac193abc764d791360132392eb79c4dcmaeder make distclean
21155e63bac193abc764d791360132392eb79c4dcmaeder dh_auto_clean
21155e63bac193abc764d791360132392eb79c4dcmaeder
21155e63bac193abc764d791360132392eb79c4dcmaederoverride_dh_auto_build:
21155e63bac193abc764d791360132392eb79c4dcmaeder make derivedSources
0a41d344f4e1320a6f3f3afbfa8d34a9c0e76f55cmaeder cp Makefile Makefile.orig
0a41d344f4e1320a6f3f3afbfa8d34a9c0e76f55cmaeder cp ServerMakefile Makefile
0a41d344f4e1320a6f3f3afbfa8d34a9c0e76f55cmaeder make depend
21155e63bac193abc764d791360132392eb79c4dcmaeder make hets-server
0a41d344f4e1320a6f3f3afbfa8d34a9c0e76f55cmaeder cp Makefile.orig Makefile
21155e63bac193abc764d791360132392eb79c4dcmaeder
21155e63bac193abc764d791360132392eb79c4dcmaederoverride_dh_auto_test:
21155e63bac193abc764d791360132392eb79c4dcmaeder
21155e63bac193abc764d791360132392eb79c4dcmaederoverride_dh_installman:
21155e63bac193abc764d791360132392eb79c4dcmaeder
21155e63bac193abc764d791360132392eb79c4dcmaederoverride_dh_install:
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaeder install -m 755 -d debian/hets-server-core/usr/lib/hets-server
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaeder install -m 755 hets-server debian/hets-server-core/usr/lib/hets-server
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaeder install -m 755 -d debian/hets-server-core/usr/lib/hets-server/hets-isa-tools
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaeder install -m 755 Isabelle/export/export.sh debian/hets-server-core/usr/lib/hets-server/hets-isa-tools
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaeder cp Isabelle/export/export_helper.ml debian/hets-server-core/usr/lib/hets-server/hets-isa-tools
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaeder cp -r hets-lib debian/hets-server-core/usr/lib/hets-server
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaeder install -m 644 magic/hets.magic debian/hets-server-core/usr/lib/hets-server
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaeder cp -r hets-owl-tools debian/hets-server-core/usr/lib/hets-server
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaeder install -m 755 -d debian/hets-server-core/usr/lib/hets-server/hets-maude-lib
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaeder install -m 644 Maude/hets.prj debian/hets-server-core/usr/lib/hets-server/hets-maude-lib
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaeder cp Maude/*maude debian/hets-server-core/usr/lib/hets-server/hets-maude-lib
21155e63bac193abc764d791360132392eb79c4dcmaeder install -m 755 -d debian/hets-server-core/usr/bin
21155e63bac193abc764d791360132392eb79c4dcmaeder cp debian/hets_script debian/hets-server-core/usr/bin/hets-server