revert space

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)