[minion] first import for initial release
Lameire Alexis
alexises at fedoraproject.org
Sat Aug 28 11:39:10 UTC 2010
commit b3899d312e98d628a7804c1a294c3982f04fb079
Author: alexises <alexises at fedoraproject.org>
Date: Sat Aug 28 13:38:27 2010 +0200
first import for initial release
.gitignore | 1 +
...10-patch0-add-custom-compil-flags-options.patch | 33 ++++++
minion-generate-tarball.sh | 13 ++
minion.spec | 119 ++++++++++++++++++++
sources | 1 +
5 files changed, 167 insertions(+), 0 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index e69de29..23c0834 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/minion-0.10-linux-without-nauty.tar.gz
diff --git a/minion-0.10-patch0-add-custom-compil-flags-options.patch b/minion-0.10-patch0-add-custom-compil-flags-options.patch
new file mode 100644
index 0000000..b375b42
--- /dev/null
+++ b/minion-0.10-patch0-add-custom-compil-flags-options.patch
@@ -0,0 +1,33 @@
+diff -up ./CMakeLists.txt.orig1 ./CMakeLists.txt
+--- ./CMakeLists.txt.orig1 2010-08-17 23:09:58.793570098 +0200
++++ ./CMakeLists.txt 2010-08-17 23:16:11.843687072 +0200
+@@ -155,6 +155,20 @@ if(APPLEMAC)
+ # set(CMAKE_EXE_LINKER_FLAGS ${CMAKE_EXE_LINKER_FLAGS} -mmacosx-version-min=10.5 )
+ endif()
+
++option(CUSTOM_CXX_FLAGS "use custom compil flags passed to cmake" OFF)
++if (CUSTOM_CXX_FLAGS)
++ message(STATUS "Using custom flags")
++ set(STATIC OFF)
++ set(SLOW_DEBUG OFF)
++ set(DEBUG OFF)
++ set(PROFILE OFF)
++ set(GPROF OFF)
++ set(UNOPTIMISED OFF)
++ set(CONVERGE OFF)
++ set(SMALL OFF)
++ set(CFLAGS ${CUSTOM_MINION_CFLAGS})
++endif()
++
+ option(STATIC "" OFF)
+ if(STATIC)
+ message(STATUS "Building static binary")
+@@ -315,7 +329,7 @@ else()
+ # on machines where this doesn't affect debugging
+ if(WIN32 AND NOT CYGWIN)
+ set(CFLAGS "${CFLAGS} /O2")
+- else()
++ elseif(NOT CUSTOM_CXX_FLAGS)
+ set(CFLAGS "${CFLAGS} -O3 -fomit-frame-pointer")
+ check_cxx_compiler_flag("-mdynamic-no-pic" MAC_MDYNAMIC)
+ if(MAC_MDYNAMIC)
diff --git a/minion-generate-tarball.sh b/minion-generate-tarball.sh
new file mode 100644
index 0000000..5d0dffe
--- /dev/null
+++ b/minion-generate-tarball.sh
@@ -0,0 +1,13 @@
+#
+# regenerate tarball withaout litigious license
+# original tarball can be found at :
+# http://downloads.sourceforge.net/${NAME}/${NAME}-${VERSION}-linux.tar.gz
+#
+
+VERSION=$1
+NAME=minion
+tar -xzvf ${NAME}-${VERSION}-linux.tar.gz
+cd ${NAME}-${VERSION}
+rm -R nauty*
+cd ..
+tar -czvf ${NAME}-${VERSION}-linux-without-nauty.tar.gz ${NAME}-${VERSION}
diff --git a/minion.spec b/minion.spec
new file mode 100644
index 0000000..70b4ac6
--- /dev/null
+++ b/minion.spec
@@ -0,0 +1,119 @@
+Name: minion
+Version: 0.10
+Release: 4%{?dist}
+Summary: Fast, Scalable Constraint Solving
+
+Group: Development/Libraries
+License: GPLv2+
+URL: http://minion.sourceforge.net/
+Source0: %{name}-%{version}-linux-without-nauty.tar.gz
+#
+# clean release source of nauty non free library
+#
+Source1: minion-generate-tarball.sh
+#
+# patch0 : add custom option to add capability to set the fedora flags in another variable
+# patch reported to upstream : https://mail.cs.st-andrews.ac.uk/pipermail/mug/2010-August/000061.html
+#
+Patch0: %{name}-0.10-patch0-add-custom-compil-flags-options.patch
+BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
+
+BuildRequires: cmake
+BuildRequires: boost-devel
+BuildRequires: doxygen
+BuildRequires: graphviz
+BuildRequires: zlib-devel
+BuildRequires: bzip2-devel
+
+%package examples
+Summary: Example code for %{name}
+Group: Documentation
+Requires: %{name} = %{version}-%{release}
+BuildArch: noarch
+
+%description
+MINION is a new constraint solver, which is very fast and scales
+well as problem size increases. Empirical results on standard
+benchmarks show orders of magnitude performance gains over
+state-of-the-art constraint toolkits. These gains increase with
+problem size --- MINION delivers scalable constraint solving.
+
+%description examples
+The %{name}-examples package contains example code for %{name}.
+
+%prep
+%setup -q
+%patch0 -p1
+rm bin/%{name}
+#
+# set good rights to headers for debuginfo package
+#
+find . \( -name "*.h" -o -name "*.hpp" \) -exec chmod 0644 {} \;
+#
+# suppress -s to linking flags (otherwise no debuginfo)
+#
+sed -i "/set(CMAKE_EXE_LINKER_FLAGS/s/-s//g" CMakeLists.txt
+#
+# unbzip2 minion compressed file in examples dirs
+#
+find ./benchmarks ./generators -type f -name *.bz2 -exec bzip2 -d {} \;
+#
+# supress windows EOL style
+#
+find ./benchmarks ./generators -type f -exec sed -i 's/\r//' {} \;
+
+%build
+mkdir builddir
+pushd builddir
+%cmake -DCUSTOM_CXX_FLAGS=1 \
+ -DCUSTOM_MINION_CFLAGS:STRING="%{optflags}" \
+ -DNAUTY=0 ..
+make VERBOSE=1 api-doc %{?_smp_mflags}
+make VERBOSE=1 %{?_smp_mflags}
+
+%install
+rm -rf %{buildroot}
+
+# set good rights to examples files
+find ./benchmarks ./generators -type f -exec chmod 0644 {} \;
+
+# install executable
+install -m 0755 -D -p ./builddir/%{name} %{buildroot}%{_bindir}/%{name}
+
+# useless Lisp files not to be installed
+# see devel comment : https://mail.cs.st-andrews.ac.uk/pipermail/mug/2010-August/000059.html
+find . -type f -name *.lsp -delete
+
+%clean
+rm -rf %{buildroot}
+
+%files
+%defattr(-,root,root,-)
+%{_bindir}/%{name}
+%doc README
+%doc LICENSE.txt
+%doc docs/Manual.pdf
+
+%files examples
+%defattr(-,root,root,-)
+%doc benchmarks
+%doc generators
+
+%changelog
+* Sat Aug 28 2010 alexisis-pristontale at hotmail.com - 0.10-4
+- set 644 rights to SOURCE1
+
+* Tue Aug 24 2010 Lameire Alexis <alexisis-pristontale at hotmail.com> - 0.10-3
+- repack source without nauty dir for legal reasons
+
+* Wed Aug 18 2010 Lameire Alexis <alexisis-pristontale at hotmail.com> - 0.10-2
+- put examples on doc dir
+- attach upstream report link to the patch 0
+- one file in doc package : supress it
+- supress windows EOL style
+- unbzip2 minion compressed examples files
+- set good rights to examples files
+
+* Mon Aug 16 2010 Lameire Alexis <alexisis-pristontale at hotmail.com> - 0.10-1
+- initial release
+
diff --git a/sources b/sources
index e69de29..f12e2e3 100644
--- a/sources
+++ b/sources
@@ -0,0 +1 @@
+f0899da48f55dac68293dab858a51766 minion-0.10-linux-without-nauty.tar.gz
More information about the scm-commits
mailing list