1 2 3 4 5 6 7 8 9
#!/usr/bin/make -f # -*- makefile -*- %: dh $@ --with cli .PHONY: override_dh_auto_build override_dh_auto_build: xbuild /p:TargetFrameworkVersion=v4.0 Source/Boogie.sln