debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Add a wrapper for DafnyServer.exe	Clément Pit--Claudel	2016-03-30
\|
*	Add vsix to releases and fix invalid path separators in packaging script	Clément Pit--Claudel	2015-10-08
\|
*	Put contents od release packages into a dafny/ directory	Clément Pit--Claudel	2015-08-28
\|
*	Add a tip to the packaging script	Clément Pit--Claudel	2015-08-27
\|
*	package.py: Keep z3's exec bits, and set the exec bit on the dafny/ script	Clément Pit--Claudel	2015-08-27
\|
*	More fixes to the packaging script	Clément Pit--Claudel	2015-08-27
\|
*	Make the packaging script Windows-compatible	Clément Pit--Claudel	2015-08-27
\|
*	Write a new packaging script for Dafny	Clément Pit--Claudel	2015-08-23
	This is intended to superseed the PrepareDafnyZip.bat script. I tried doing this as an msbuild config, then as a makefile, but the first one was too cumbersome and the second one required too many dependencies to work properly (and parsing JSON from a makefile is not fun). The new script calls the Github API to retrieve the description of the latest z3 release, downloads the zip corresponding to each supported platfom, and packages one copy of Dafny for each copy of z3 that the latest release contains. The next step will be to make Dafny load its binary from the z3 folder.