blob: 5a836044f71b1d8cb0ca4240b8cae16b418637d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/usr/bin/make -f
# -*- makefile -*-
%:
dh $@ --with cli
.PHONY: override_dh_auto_build
override_dh_auto_build:
cp -a /usr/lib/boogie/* Binaries
mkdir -p Source/Dafny/bin/Checked
cp -a /usr/lib/boogie/* Source/Dafny/bin/Checked
xbuild Source/Dafny.sln
|