rules revision dbeb8584c06e52eb8f1805f60ec7726bf54b1e94
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse# -*- makefile -*-
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 install -m 644 magic/hets.magic 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