Compare commits
3 commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
d25a1d0b96 | ||
|
|
4abefacf72 | ||
|
|
154e057f6e |
6 changed files with 112 additions and 21 deletions
2
.gitignore
vendored
Normal file
2
.gitignore
vendored
Normal file
|
|
@ -0,0 +1,2 @@
|
||||||
|
4ti2-1.3.2.tar.gz
|
||||||
|
4ti2_manual.pdf
|
||||||
5
4ti2.module.in
Normal file
5
4ti2.module.in
Normal file
|
|
@ -0,0 +1,5 @@
|
||||||
|
#%Module 1.0
|
||||||
|
#
|
||||||
|
# 4ti2 module for use with 'environment-modules' package:
|
||||||
|
#
|
||||||
|
prepend-path PATH @LIBDIR@/bin
|
||||||
103
4ti2.spec
Normal file
103
4ti2.spec
Normal file
|
|
@ -0,0 +1,103 @@
|
||||||
|
Name: 4ti2
|
||||||
|
Version: 1.3.2
|
||||||
|
Release: 5%{?dist}
|
||||||
|
Summary: A software package for problems on linear spaces
|
||||||
|
|
||||||
|
Group: System Environment/Libraries
|
||||||
|
License: GPLv2+
|
||||||
|
URL: http://www.4ti2.de/
|
||||||
|
Source0: http://www.4ti2.de/version_%{version}/%{name}-%{version}.tar.gz
|
||||||
|
Source1: http://www.4ti2.de/4ti2_manual.pdf
|
||||||
|
Source2: 4ti2.module.in
|
||||||
|
BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
|
||||||
|
|
||||||
|
Requires: environment-modules
|
||||||
|
BuildRequires: gmp-devel
|
||||||
|
BuildRequires: glpk-devel
|
||||||
|
|
||||||
|
%description
|
||||||
|
A software package for algebraic, geometric and combinatorial
|
||||||
|
problems on linear spaces.
|
||||||
|
|
||||||
|
This package uses Environment Modules, to load the binaries onto
|
||||||
|
your PATH you will need to run module load %{name}-%{_arch}
|
||||||
|
|
||||||
|
%prep
|
||||||
|
%setup -q
|
||||||
|
cp -p %{SOURCE1} .
|
||||||
|
|
||||||
|
%build
|
||||||
|
CXXFLAGS="%{optflags} -I%{_includedir}/glpk" \
|
||||||
|
CFLAGS="%{optflags} -I%{_includedir}/glpk" \
|
||||||
|
./configure --disable-shared --disable-static \
|
||||||
|
--prefix=%{_libdir}/%{name} \
|
||||||
|
--libdir=%{_libdir}/%{name}/lib/ \
|
||||||
|
--bindir=%{_libdir}/%{name}/bin/
|
||||||
|
perl -pi -e 's|hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=\"-L\\\$libdir\"|g;' libtool
|
||||||
|
|
||||||
|
make %{?_smp_mflags}
|
||||||
|
|
||||||
|
%install
|
||||||
|
rm -rf %{buildroot}
|
||||||
|
|
||||||
|
make install-exec DESTDIR=%{buildroot}
|
||||||
|
|
||||||
|
# Make the environment-modules file
|
||||||
|
mkdir -p %{buildroot}%{_datadir}/Modules/modulefiles/
|
||||||
|
# Since we're doing our own substitution here, use our own definitions.
|
||||||
|
sed 's#@LIBDIR@#'%{_libdir}/%{name}'#g;' < %SOURCE2 >%{buildroot}%{_datadir}/Modules/modulefiles/%{name}-%{_arch}
|
||||||
|
|
||||||
|
# The libraries are not really fit for use outside the package.
|
||||||
|
rm -rf %{buildroot}/%{_libdir}/%{name}/lib*
|
||||||
|
|
||||||
|
%check
|
||||||
|
make check
|
||||||
|
|
||||||
|
%clean
|
||||||
|
rm -rf %{buildroot}
|
||||||
|
|
||||||
|
%files
|
||||||
|
%defattr(-,root,root,-)
|
||||||
|
%doc COPYING TODO 4ti2_manual.pdf
|
||||||
|
%{_datadir}/Modules/modulefiles/%{name}-%{_arch}
|
||||||
|
%{_libdir}/%{name}/bin/output
|
||||||
|
%{_libdir}/%{name}/bin/4ti2gmp
|
||||||
|
%{_libdir}/%{name}/bin/4ti2int32
|
||||||
|
%{_libdir}/%{name}/bin/4ti2int64
|
||||||
|
%{_libdir}/%{name}/bin/circuits
|
||||||
|
%{_libdir}/%{name}/bin/genmodel
|
||||||
|
%{_libdir}/%{name}/bin/gensymm
|
||||||
|
%{_libdir}/%{name}/bin/graver
|
||||||
|
%{_libdir}/%{name}/bin/groebner
|
||||||
|
%{_libdir}/%{name}/bin/hilbert
|
||||||
|
%{_libdir}/%{name}/bin/markov
|
||||||
|
%{_libdir}/%{name}/bin/minimize
|
||||||
|
%{_libdir}/%{name}/bin/normalform
|
||||||
|
%{_libdir}/%{name}/bin/ppi
|
||||||
|
%{_libdir}/%{name}/bin/qsolve
|
||||||
|
%{_libdir}/%{name}/bin/rays
|
||||||
|
%{_libdir}/%{name}/bin/walk
|
||||||
|
%{_libdir}/%{name}/bin/zbasis
|
||||||
|
%{_libdir}/%{name}/bin/zsolve
|
||||||
|
|
||||||
|
%changelog
|
||||||
|
* Tue Mar 02 2010 Mark Chappell <tremble@fedoraproject.org> - 1.3.2-5
|
||||||
|
- Add note to description about environment modules
|
||||||
|
|
||||||
|
* Tue Mar 02 2010 Mark Chappell <tremble@fedoraproject.org> - 1.3.2-4
|
||||||
|
- Switch to using modules
|
||||||
|
- Tag with the correct licence (GPLv2+)
|
||||||
|
|
||||||
|
* Thu Feb 25 2010 Mark Chappell <tremble@fedoraproject.org> - 1.3.2-3
|
||||||
|
- Preserve time stamp on 4ti2_manual.pdf
|
||||||
|
- Whitespace cleanup
|
||||||
|
- Remove obsolete post and portun calls
|
||||||
|
- Manually specify binaries
|
||||||
|
|
||||||
|
* Thu Feb 25 2010 Mark Chappell <tremble@fedoraproject.org> - 1.3.2-2
|
||||||
|
- Tidy up inconsistant use of macros
|
||||||
|
- Remove empty devel package
|
||||||
|
- Include 4ti2 manual
|
||||||
|
|
||||||
|
* Wed Feb 17 2010 M D Chappell <tremble@tremble.org.uk> - 1.3.2-1
|
||||||
|
- Initial build
|
||||||
21
Makefile
21
Makefile
|
|
@ -1,21 +0,0 @@
|
||||||
# Makefile for source rpm: 4ti2
|
|
||||||
# $Id$
|
|
||||||
NAME := 4ti2
|
|
||||||
SPECFILE = $(firstword $(wildcard *.spec))
|
|
||||||
|
|
||||||
define find-makefile-common
|
|
||||||
for d in common ../common ../../common ; do if [ -f $$d/Makefile.common ] ; then if [ -f $$d/CVS/Root -a -w $$d/Makefile.common ] ; then cd $$d ; cvs -Q update ; fi ; echo "$$d/Makefile.common" ; break ; fi ; done
|
|
||||||
endef
|
|
||||||
|
|
||||||
MAKEFILE_COMMON := $(shell $(find-makefile-common))
|
|
||||||
|
|
||||||
ifeq ($(MAKEFILE_COMMON),)
|
|
||||||
# attept a checkout
|
|
||||||
define checkout-makefile-common
|
|
||||||
test -f CVS/Root && { cvs -Q -d $$(cat CVS/Root) checkout common && echo "common/Makefile.common" ; } || { echo "ERROR: I can't figure out how to checkout the 'common' module." ; exit -1 ; } >&2
|
|
||||||
endef
|
|
||||||
|
|
||||||
MAKEFILE_COMMON := $(shell $(checkout-makefile-common))
|
|
||||||
endif
|
|
||||||
|
|
||||||
include $(MAKEFILE_COMMON)
|
|
||||||
2
sources
2
sources
|
|
@ -0,0 +1,2 @@
|
||||||
|
93367e63944d8bb18192c4984544ed0d 4ti2-1.3.2.tar.gz
|
||||||
|
1b6fb847fc0eacddfaaef3d00c8bb7ba 4ti2_manual.pdf
|
||||||
Loading…
Add table
Add a link
Reference in a new issue