diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/debian')
8 files changed, 100 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/debian/changelog b/cryptominisat5/cryptominisat-5.6.3/debian/changelog new file mode 100644 index 000000000..d030f8a66 --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/debian/changelog @@ -0,0 +1,5 @@ +cryptominisat5 (5.0.0+dfsg-1) unstable; urgency=low + + * First 5.0 release + + -- Mate Soos <soos.mate@gmail.com> Tue, 28 Jun 2016 01:00:00 +0200 diff --git a/cryptominisat5/cryptominisat-5.6.3/debian/compat b/cryptominisat5/cryptominisat-5.6.3/debian/compat new file mode 100644 index 000000000..ec635144f --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/debian/compat @@ -0,0 +1 @@ +9 diff --git a/cryptominisat5/cryptominisat-5.6.3/debian/control b/cryptominisat5/cryptominisat-5.6.3/debian/control new file mode 100644 index 000000000..495cf0c9d --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/debian/control @@ -0,0 +1,16 @@ +Source: cryptominisat5 +Section: science +Priority: optional +Maintainer: Mate Soos <soos.mate@gmail.com> +Build-Depends: debhelper (>= 8.0.0), cmake (>=3.3), libboost-program-options-dev (>= 1.54), zlib1g-dev (>= 1.1), python3 +Standards-Version: 3.9.6 +Homepage: https://www.msoos.org +Vcs-Git: git://github.com/msoos/cryptominisat.git +Vcs-Browser: git://github.com/msoos/cryptominisat.git + +Package: cryptominisat5 +Architecture: any +Depends: ${shlibs:Depends}, ${misc:Depends} +Description: An advanced SAT solver + CryptoMiniSat is an award-winning SAT solver with a DIMACS input + diff --git a/cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.copyright b/cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.copyright new file mode 100644 index 000000000..81c14cf56 --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.copyright @@ -0,0 +1,8 @@ +Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: cryptominisat +Upstream-Contact: soos.mate@gmail.com +Source: https://github.com/msoos/cryptominisat + +Files: * +Copyright: 2009-2018, Mate Soos +License: MIT diff --git a/cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.docs b/cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.docs new file mode 100644 index 000000000..8d526b990 --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.docs @@ -0,0 +1 @@ +README.markdown diff --git a/cryptominisat5/cryptominisat-5.6.3/debian/menu b/cryptominisat5/cryptominisat-5.6.3/debian/menu new file mode 100644 index 000000000..5008b3415 --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/debian/menu @@ -0,0 +1,2 @@ +?package(cryptominisat5):needs="text" section="Applications/Science/Mathematics"\ + title="cryptominisat5" command="/usr/bin/cryptominisat5" diff --git a/cryptominisat5/cryptominisat-5.6.3/debian/rules b/cryptominisat5/cryptominisat-5.6.3/debian/rules new file mode 100755 index 000000000..82e701c9a --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/debian/rules @@ -0,0 +1,66 @@ +#!/usr/bin/make -f +# See debhelper(7) (uncomment to enable) +# output every command that modifies files on the build system. +#DH_VERBOSE = 1 + +# see EXAMPLES in dpkg-buildflags(1) and read /usr/share/dpkg/* +DPKG_EXPORT_BUILDFLAGS = 1 +include /usr/share/dpkg/default.mk + +# This has to be exported to make some magic below work. +export DH_OPTIONS + +# see FEATURE AREAS in dpkg-buildflags(1) +#export DEB_BUILD_MAINT_OPTIONS = hardening=+all + +# see ENVIRONMENT in dpkg-buildflags(1) +# package maintainers to append CFLAGS +#export DEB_CFLAGS_MAINT_APPEND = -Wall -pedantic +# package maintainers to append LDFLAGS +#export DEB_LDFLAGS_MAINT_APPEND = -Wl,--as-needed + +BUILDDIR = $(CURDIR)/build +OUTPUTCHECK_ARCHIVE = $(CURDIR)/../cryptominisat5_5.0.0+dfsg.orig-outputcheck.tar.gz +UTILS_DIR = $(CURDIR)/utils + +override_dh_auto_clean: + dh_auto_clean + $(RM) -rf $(UTILS_DIR)/gtest/* + $(RM) -rf $(UTILS_DIR)/OutputCheck + +override_dh_auto_configure: configure_cryptominisat5 configure_gtest + +override_dh_auto_build: + dh_auto_build + $(MAKE) --directory=$(CURDIR)/utils/gtest + +configure_cryptominisat5: copy_gtest extract_outputcheck + dh_auto_configure -- \ + -DENABLE_TESTING=ON \ + -DLIT_TOOL=/usr/lib/llvm-3.5/build/utils/lit/lit.py \ + -DENABLE_PYTHON_INTERFACE=ON \ + -DCMAKE_BUILD_TYPE=RelWithDebInfo \ + -DENABLE_ASSERTIONS=ON \ + -DCMAKE_INSTALL_PREFIX=/usr + +configure_gtest: copy_gtest + cd $(CURDIR)/utils/gtest && \ + cmake . && \ + cd - + +copy_gtest: + cp -a /usr/src/gtest $(CURDIR)/utils/ + +extract_outputcheck: + tar xf $(OUTPUTCHECK_ARCHIVE) --directory $(UTILS_DIR) + +# main packaging script based on dh7 syntax +%: + dh $@ --parallel --builddirectory=$(BUILDDIR) + +# debmake generated override targets +# This is example for Cmake (See http://bugs.debian.org/641051 ) +#override_dh_auto_configure: +# dh_auto_configure -- \ +# -DCMAKE_LIBRARY_PATH=$(DEB_HOST_MULTIARCH) + diff --git a/cryptominisat5/cryptominisat-5.6.3/debian/source/format b/cryptominisat5/cryptominisat-5.6.3/debian/source/format new file mode 100644 index 000000000..163aaf8d8 --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) |