Commit 59dac6f9 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

First version of the Debian files.

parent 1dc5a856
divine-ltsmin (1.2-1) unstable; urgency=low
* Initial release.
-- Alexandre Duret-Lutz <adl@lrde.epita.fr> Wed, 03 Feb 2016 13:41:58 +0100
Source: divine-ltsmin
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Section: misc
Priority: optional
Standards-Version: 3.9.2
Build-Depends: debhelper (>= 9), cmake
Package: divine-ltsmin
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Description: patched version of DiVinE 2.4 with LTSmin interface
A model checker that has been patched so that it can compile
model as shared libraries compatible with the LTSmin interface.
[buildpackage]
upstream-tag = %(version)s
builder = dpkg-buildpackage -i -I -uc -us
#!/usr/bin/make -f
DH_VERBOSE = 1
export DEB_BUILD_MAINT_OPTIONS := hardening=-format
%:
dh $@ --parallel
override_dh_auto_configure:
dh_auto_configure -Scmake -- -DMURPHI=OFF -DHOARD=OFF -DGUI=OFF -DRX_PATH= -DMPI=OFF
override_dh_auto_build:
dh_auto_build -- divine
# The test-suite fails with Haskel errors. No time for this.
override_dh_auto_test:
@:
override_dh_auto_install:
dh_auto_install --destdir=$(CURDIR)/debian/tmp
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment