update to 5.6.60
This commit is contained in:
parent
52eab63ebf
commit
c8119960cd
4 changed files with 45 additions and 14 deletions
|
|
@ -1,3 +1 @@
|
|||
pl-5.6.57.tar.gz
|
||||
HTMLmanual.tar.gz
|
||||
userguide.html.tgz
|
||||
pl-5.6.60.tar.gz
|
||||
|
|
|
|||
23
pl-5.6.60-jni.patch
Normal file
23
pl-5.6.60-jni.patch
Normal file
|
|
@ -0,0 +1,23 @@
|
|||
diff -up pl-5.6.60/packages/jpl/jpl.pl.jni pl-5.6.60/packages/jpl/jpl.pl
|
||||
--- pl-5.6.60/packages/jpl/jpl.pl.jni 2008-09-15 09:34:38.000000000 -0400
|
||||
+++ pl-5.6.60/packages/jpl/jpl.pl 2008-09-19 10:25:37.000000000 -0400
|
||||
@@ -4390,7 +4390,8 @@ prolog:error_message(java_exception(Ex))
|
||||
:- multifile user:file_search_path/2.
|
||||
:- dynamic user:file_search_path/2.
|
||||
|
||||
-user:file_search_path(jar, swi(lib)).
|
||||
+user:file_search_path(jar, 'LIBDIR/pl-jpl').
|
||||
+user:file_search_path(jni, 'LIBDIR/pl-jpl').
|
||||
|
||||
%% add_search_path(+Var, +Value) is det.
|
||||
%
|
||||
@@ -4534,7 +4535,7 @@ add_jpl_to_classpath :-
|
||||
|
||||
libjpl(File) :-
|
||||
( current_prolog_flag(unix, true)
|
||||
- -> File = foreign(libjpl)
|
||||
+ -> File = jni(libjpl)
|
||||
; File = foreign(jpl)
|
||||
).
|
||||
|
||||
diff -up pl-5.6.60/packages/jpl/src/java/jpl/fli/Prolog.java.jni pl-5.6.60/packages/jpl/src/java/jpl/fli/Prolog.java
|
||||
30
pl.spec
30
pl.spec
|
|
@ -1,6 +1,9 @@
|
|||
%define jdkvershort 1.6.0
|
||||
%define jdkverlong %{jdkvershort}.0
|
||||
|
||||
Name: pl
|
||||
Version: 5.6.57
|
||||
Release: 2%{?dist}
|
||||
Version: 5.6.60
|
||||
Release: 1%{?dist}
|
||||
|
||||
Summary: SWI-Prolog - Edinburgh compatible Prolog compiler
|
||||
|
||||
|
|
@ -11,10 +14,8 @@ Source: http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/%{name}-%{
|
|||
Source1: http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/refman/HTMLmanual.tar.gz
|
||||
Source2: http://gollem.science.uva.nl/cgi-bin/nph-download/xpce/doc/userguide/userguide.html.tgz
|
||||
Patch0: %{name}-5.4.6-rpath.patch
|
||||
Patch1: %{name}-5.6.0-multilib.patch
|
||||
Patch2: %{name}-5.6.57-jpl-configure.patch
|
||||
Patch3: %{name}-5.6.52-jni.patch
|
||||
Patch4: %{name}-5.6.57-locale.patch
|
||||
Patch3: %{name}-5.6.60-jni.patch
|
||||
BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
|
||||
BuildRequires: gmp-devel
|
||||
BuildRequires: libICE-devel
|
||||
|
|
@ -35,7 +36,7 @@ BuildRequires: readline-devel
|
|||
BuildRequires: unixODBC-devel
|
||||
BuildRequires: freetype-devel
|
||||
BuildRequires: jpackage-utils
|
||||
BuildRequires: java-devel
|
||||
BuildRequires: java-%{jdkvershort}-devel = 1:%{jdkverlong}
|
||||
|
||||
%description
|
||||
ISO/Edinburgh-style Prolog compiler including modules, autoload,
|
||||
|
|
@ -49,7 +50,7 @@ toolkit, integrated editor (Emacs-clone) and source-level debugger).
|
|||
Summary: Development files for SWI Prolog
|
||||
Group: Development/Languages
|
||||
Requires: %{name} = %{version}-%{release}
|
||||
Requires: readline-devel
|
||||
Requires: readline-devel, pkgconfig
|
||||
|
||||
%description devel
|
||||
Development files for SWI Prolog.
|
||||
|
|
@ -97,10 +98,8 @@ in Prolog. In both setups it provides a reentrant bidirectional interface.
|
|||
%prep
|
||||
%setup -q
|
||||
%patch0 -p1 -b .rpath
|
||||
%patch1 -p1 -b .multilib
|
||||
%patch2 -p1 -b .libjvm
|
||||
%patch3 -p1 -b .jni
|
||||
%patch4 -p1 -b .locale
|
||||
(
|
||||
mkdir doc-install
|
||||
cd doc-install
|
||||
|
|
@ -118,12 +117,18 @@ sed --in-place=.jni2 -e 's#LIBDIR#%{_libdir}#g' packages/jpl/src/java/jpl/fli/Pr
|
|||
|
||||
|
||||
%build
|
||||
export JAVA_HOME=/usr/lib/jvm/java-%{jdkvershort}-openjdk-%{jdkverlong}.%{_arch}
|
||||
%ifarch x86_64
|
||||
export JAVA_LIB=$JAVA_HOME/jre/lib/amd64
|
||||
%else
|
||||
export JAVA_LIB=$JAVA_HOME/jre/lib/%{_arch}
|
||||
%endif
|
||||
%configure --enable-shared
|
||||
make COFLAGS="$RPM_OPT_FLAGS -fno-strict-aliasing"
|
||||
PATH=$PWD/src:$PATH
|
||||
cd packages
|
||||
%configure
|
||||
make COFLAGS="$RPM_OPT_FLAGS -fno-strict-aliasing"
|
||||
make COFLAGS="$RPM_OPT_FLAGS -fno-strict-aliasing" JAVALIBS="-L$JAVA_LIB/server -L$JAVA_LIB -ljava -lverify -ljvm"
|
||||
cd ..
|
||||
|
||||
|
||||
|
|
@ -208,6 +213,7 @@ rm -rf $RPM_BUILD_ROOT
|
|||
%{_includedir}/%{name}/*.h
|
||||
%{_includedir}/%{name}/xpce
|
||||
%{_libdir}/%{name}-%{version}/lib/*/libpl.so
|
||||
%{_libdir}/pkgconfig/pl.pc
|
||||
|
||||
%files static
|
||||
%defattr(-,root,root,-)
|
||||
|
|
@ -221,6 +227,10 @@ rm -rf $RPM_BUILD_ROOT
|
|||
|
||||
|
||||
%changelog
|
||||
* Fri Sep 19 2008 Tom "spot" Callaway <tcallawa@redhat.com> - 5.6.60-1
|
||||
- update to 5.6.60
|
||||
- use openjdk (FIXME: there may be a way to make this more generic)
|
||||
|
||||
* Wed Jul 2 2008 Mary Ellen Foster <mefoster at gmail.com> - 5.6.57-2
|
||||
- Build using any Java
|
||||
- Include patch from SWI for Turkish locale (thanks to Keri Harris)
|
||||
|
|
|
|||
2
sources
2
sources
|
|
@ -1,3 +1,3 @@
|
|||
c41709e50dbcd784f26273a1686af9e8 pl-5.6.57.tar.gz
|
||||
3e5c3d29d7c0f86351707c8d0415ac7b pl-5.6.60.tar.gz
|
||||
f9957ad2fcdce7e02512e0fbdc66e41d HTMLmanual.tar.gz
|
||||
a4462019611caa4f69247c8bf94404a7 userguide.html.tgz
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue