]> git.pld-linux.org Git - packages/XSB.git/commitdiff
- saving work; install and files not finished master
authorJakub Bogusz <qboosh@pld-linux.org>
Fri, 27 Apr 2012 19:34:22 +0000 (19:34 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    XSB-configure.patch -> 1.1
    XSB.spec -> 1.1

XSB-configure.patch [new file with mode: 0644]
XSB.spec [new file with mode: 0644]

diff --git a/XSB-configure.patch b/XSB-configure.patch
new file mode 100644 (file)
index 0000000..6b123e0
--- /dev/null
@@ -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 (file)
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
This page took 0.0855 seconds and 4 git commands to generate.