From f0d44548fa9eb28ef1f41c6413c68957e6034430 Mon Sep 17 00:00:00 2001 From: Jakub Bogusz Date: Fri, 27 Apr 2012 19:34:22 +0000 Subject: [PATCH 1/1] - saving work; install and files not finished Changed files: XSB-configure.patch -> 1.1 XSB.spec -> 1.1 --- XSB-configure.patch | 38 +++++++++++++++++++++++++++++++++ XSB.spec | 52 +++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 90 insertions(+) create mode 100644 XSB-configure.patch create mode 100644 XSB.spec diff --git a/XSB-configure.patch b/XSB-configure.patch new file mode 100644 index 0000000..6b123e0 --- /dev/null +++ b/XSB-configure.patch @@ -0,0 +1,38 @@ +--- XSB/build/configure.in.orig 2011-12-15 22:06:14.000000000 +0100 ++++ XSB/build/configure.in 2012-04-20 21:32:04.679356156 +0200 +@@ -555,14 +555,7 @@ + else + canonical=`${CONFIG_SHELL-/bin/sh} ./config.sub $configuration 2>&1` + +- if test -n "`echo "$canonical" | sed -e [s/${configuration}//]`" ; then +- echo $canonical +- echo "" +- rm -f buildxsb.lock +- exit 1 +- else + AC_MSG_NOTICE([checking host system type... $canonical]) +- fi + fi + + +@@ -1704,6 +1704,7 @@ + ### Specify what will be substituted into Makefile, xsb_config.h, etc. + AC_SUBST(xsb_version) + AC_SUBST(canonical) ++AC_SUBST(configuration) + AC_SUBST(full_config_name) + AC_SUBST(topdir) + AC_SUBST(prefix) +--- XSB/build/xsb.in.orig 2011-09-09 12:18:44.000000000 +0200 ++++ XSB/build/xsb.in 2012-04-22 07:30:27.610140318 +0200 +@@ -74,8 +74,8 @@ + scriptdir=`dirname $thisfile` + topdir=`dirname $scriptdir` + +-config=`$topdir/build/config.guess` +-canonical=`$topdir/build/config.sub $config` ++config="@configuration@" ++canonical="@canonical@" + exec_dir=$topdir/config/${canonical}${suffix} + executable=${exec_dir}/bin/xsb + diff --git a/XSB.spec b/XSB.spec new file mode 100644 index 0000000..36257c2 --- /dev/null +++ b/XSB.spec @@ -0,0 +1,52 @@ +Summary: XSB Prolog Distribution +Summary(pl.UTF-8): Dystrybucja XSB Prologa +Name: XSB +Version: 3.3.6 +Release: 0.1 +License: LGPL v2 +Group: Development/Languages +Source0: http://xsb.sourceforge.net/downloads/%{name}336.tar.gz +# Source0-md5: bd43680832cbe9a33ce1a9fc21d81d83 +Patch0: %{name}-configure.patch +URL: http://xsb.sourceforge.net/ +BuildRequires: autoconf +BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n) + +%description +XSB Prolog Distribution - a logic programming and deductive database +system. + +%description -l pl.UTF-8 +Dystrybucja XSB Prologa - system programowania w logice oraz +dedukcyjnych baz danych. + +%prep +%setup -q -n %{name} +%patch0 -p1 + +%build +installdir=$(pwd)/install +cd build +%{__autoconf} +%configure \ + --prefix=$installdir +%{__make} -f ../config/%{_target_platform}*/topMakefile + +%install +rm -rf $RPM_BUILD_ROOT +install -d $RPM_BUILD_ROOT%{_libdir}/XSB + +cp -a install/* $RPM_BUILD_ROOT%{_libdir}/XSB + +cd build +%{__make} -f ../config/%{_target_platform}*/topMakefile \ + prefix=$RPM_BUILD_ROOT%{_libdir}/XSB + +%clean +rm -rf $RPM_BUILD_ROOT + +%files +%defattr(644,root,root,755) +%doc FAQ LICENSE README +%attr(755,root,root) %{_bindir}/* +# TODO -- 2.43.0