rules revision 21155e63bac193abc764d791360132392eb79c4d
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
21155e63bac193abc764d791360132392eb79c4dcmaeder make hets-server
21155e63bac193abc764d791360132392eb79c4dcmaeder
21155e63bac193abc764d791360132392eb79c4dcmaederoverride_dh_auto_test:
21155e63bac193abc764d791360132392eb79c4dcmaeder
21155e63bac193abc764d791360132392eb79c4dcmaederoverride_dh_installman:
21155e63bac193abc764d791360132392eb79c4dcmaeder dh_installman debian/hets.1
21155e63bac193abc764d791360132392eb79c4dcmaeder
21155e63bac193abc764d791360132392eb79c4dcmaederoverride_dh_install:
21155e63bac193abc764d791360132392eb79c4dcmaeder install -m 755 -d debian/hets-server-core/usr/lib/hets
21155e63bac193abc764d791360132392eb79c4dcmaeder install -m 755 hets-server debian/hets-server-core/usr/lib/hets
21155e63bac193abc764d791360132392eb79c4dcmaeder install -m 755 -d debian/hets-server-core/usr/lib/hets/hets-isa-tools
21155e63bac193abc764d791360132392eb79c4dcmaeder install -m 755 Isabelle/export/export.sh debian/hets-server-core/usr/lib/hets/hets-isa-tools
21155e63bac193abc764d791360132392eb79c4dcmaeder cp Isabelle/export/export_helper.ml debian/hets-server-core/usr/lib/hets/hets-isa-tools
21155e63bac193abc764d791360132392eb79c4dcmaeder cp -r hets-lib debian/hets-server-core/usr/lib/hets
21155e63bac193abc764d791360132392eb79c4dcmaeder install -m 644 magic/hets.magic debian/hets-server-core/usr/lib/hets
21155e63bac193abc764d791360132392eb79c4dcmaeder cp -r hets-owl-tools debian/hets-server-core/usr/lib/hets
21155e63bac193abc764d791360132392eb79c4dcmaeder install -m 755 -d debian/hets-server-core/usr/lib/hets/hets-maude-lib
21155e63bac193abc764d791360132392eb79c4dcmaeder install -m 644 Maude/hets.prj debian/hets-server-core/usr/lib/hets/hets-maude-lib
21155e63bac193abc764d791360132392eb79c4dcmaeder cp Maude/*maude debian/hets-core/usr/lib/hets/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