Compare commits
1 commit
| Author | SHA1 | Date | |
|---|---|---|---|
|
83c7eb0760 |
22 changed files with 1289 additions and 2800 deletions
52
.gitignore
vendored
52
.gitignore
vendored
|
|
@ -1,4 +1,50 @@
|
|||
/SWI-Prolog-*.pdf
|
||||
userguide.html.tgz
|
||||
pl-5.7.11.tar.gz
|
||||
SWI-Prolog-5.7.11.pdf
|
||||
/pl-5.10.2.tar.gz
|
||||
/SWI-Prolog-5.10.2.pdf
|
||||
/userguide.html.tgz
|
||||
/pl-*.tar.gz
|
||||
/swipl-*.tar.gz
|
||||
/pl-5.10.5.tar.gz
|
||||
/SWI-Prolog-5.10.5.pdf
|
||||
/pl-6.0.1.tar.gz
|
||||
/SWI-Prolog-6.0.1.pdf
|
||||
/pl-6.0.2.tar.gz
|
||||
/SWI-Prolog-6.0.2.pdf
|
||||
/pl-6.2.0.tar.gz
|
||||
/SWI-Prolog-6.2.0.pdf
|
||||
/pl-6.2.1.tar.gz
|
||||
/SWI-Prolog-6.2.1.pdf
|
||||
/pl-6.2.2.tar.gz
|
||||
/SWI-Prolog-6.2.2.pdf
|
||||
/pl-6.2.3.tar.gz
|
||||
/SWI-Prolog-6.2.3.pdf
|
||||
/pl-6.2.4.tar.gz
|
||||
/SWI-Prolog-6.2.4.pdf
|
||||
/pl-6.2.5.tar.gz
|
||||
/SWI-Prolog-6.2.5.pdf
|
||||
/pl-6.2.6.tar.gz
|
||||
/SWI-Prolog-6.2.6.pdf
|
||||
/pl-6.4.1.tar.gz
|
||||
/SWI-Prolog-6.4.1.pdf
|
||||
/pl-6.6.0_repackaged.tar.gz
|
||||
/SWI-Prolog-6.6.0.pdf
|
||||
/pl-6.6.1_repackaged.tar.gz
|
||||
/SWI-Prolog-6.6.1.pdf
|
||||
/pl-6.6.2_repackaged.tar.gz
|
||||
/SWI-Prolog-6.6.2.pdf
|
||||
/pl-6.6.3_repackaged.tar.gz
|
||||
/SWI-Prolog-6.6.3.pdf
|
||||
/pl-6.6.4_repackaged.tar.gz
|
||||
/SWI-Prolog-6.6.4.pdf
|
||||
/pl-6.6.5_repackaged.tar.gz
|
||||
/SWI-Prolog-6.6.5.pdf
|
||||
/pl-6.6.6_repackaged.tar.gz
|
||||
/SWI-Prolog-6.6.6.pdf
|
||||
/SWI-Prolog-7.2.0.pdf
|
||||
/swipl-7.2.0_repackaged.tar.gz
|
||||
/swipl-7.2.1_repackaged.tar.gz
|
||||
/SWI-Prolog-7.2.1.pdf
|
||||
/swipl-7.2.2_repackaged.tar.gz
|
||||
/SWI-Prolog-7.2.2.pdf
|
||||
/swipl-7.2.3_repackaged.tar.gz
|
||||
/SWI-Prolog-7.2.3.pdf
|
||||
|
|
|
|||
151
JavaConfig.java
Normal file
151
JavaConfig.java
Normal file
|
|
@ -0,0 +1,151 @@
|
|||
/* JavaConfig - tool for getting paths for current java environment.
|
||||
* © 2011, 2012, 2014, 2017 Petr Písař <ppisar@redhat.com>
|
||||
*
|
||||
* This program is free software: you can redistribute it and/or modify
|
||||
* it under the terms of the GNU General Public License as published by
|
||||
* the Free Software Foundation, either version 3 of the License, or
|
||||
* (at your option) any later version.
|
||||
*
|
||||
* This program is distributed in the hope that it will be useful,
|
||||
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||
* GNU General Public License for more details.
|
||||
*
|
||||
* You should have received a copy of the GNU General Public License
|
||||
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
||||
*/
|
||||
|
||||
class JavaConfig {
|
||||
private static String output = "";
|
||||
|
||||
|
||||
/*
|
||||
* Append text to output with proper padding or terminates if text is null.
|
||||
* @param text String to append.
|
||||
*/
|
||||
private static void concatenate(String text) {
|
||||
if (text == null) {
|
||||
System.exit(2);
|
||||
}
|
||||
output = (output.equals("") ? "" : output + " " ) + text;
|
||||
}
|
||||
|
||||
|
||||
/*
|
||||
* Show usage message and terminates program with given @exit_code.
|
||||
* @param exit_code code to return
|
||||
* */
|
||||
private static void usage(int exitCode) {
|
||||
System.out.print(
|
||||
"JavaConfig [OPTIONS]\n" +
|
||||
" --home Output path to Java home\n" +
|
||||
" --libs-only-L Output -L linker flags\n" +
|
||||
" --version Output Java version on first separate line\n"
|
||||
);
|
||||
System.exit(exitCode);
|
||||
}
|
||||
|
||||
|
||||
/*
|
||||
* @Return path to Java home or null in case of error.
|
||||
*/
|
||||
public static String home() {
|
||||
return System.getProperty("java.home");
|
||||
}
|
||||
|
||||
|
||||
/*
|
||||
* @Return formated libary search path as -L compiler flag,
|
||||
* null if error occured.
|
||||
* */
|
||||
public static String libsOnlyL() {
|
||||
String value;
|
||||
String architecture = System.getProperty("os.arch");
|
||||
String home = home();
|
||||
String filesep = System.getProperty("file.separator");
|
||||
String paths[];
|
||||
|
||||
/* The java.library.path works up to JDK 1.6. */
|
||||
if (null == (value = System.getProperty("java.library.path"))) {
|
||||
return null;
|
||||
}
|
||||
|
||||
/* The java.library.path does not work since JDK 1.7. See
|
||||
* <https://bugzilla.redhat.com/show_bug.cgi?id=740762>.
|
||||
* The "client" subdirectory is need on AArch64 since JDK 1.8. See
|
||||
* <https://bugzilla.redhat.com/show_bug.cgi?id=1112012>. */
|
||||
if (null == architecture || null == home || null == filesep) {
|
||||
return null;
|
||||
}
|
||||
|
||||
/* Experimental 32-bit ARM openjdk variant uses lib/aarch32. See
|
||||
* <https://bugzilla.redhat.com/show_bug.cgi?id=1412953>. */
|
||||
if (architecture.contentEquals("arm") && home.contains("aarch32")) {
|
||||
architecture = "aarch32";
|
||||
}
|
||||
|
||||
value = value + ":" +
|
||||
home + filesep + "lib" + filesep + architecture + ":" +
|
||||
home + filesep + "lib" + filesep + architecture + filesep + "server" +
|
||||
":" +
|
||||
home + filesep + "lib" + filesep + architecture + filesep + "client";
|
||||
|
||||
|
||||
/* Convert the collon delimited paths to LDFLAGS format */
|
||||
paths = value.split(":");
|
||||
|
||||
for (int i = 0; i < paths.length; i++) {
|
||||
if (paths[i].equals("")) {
|
||||
continue;
|
||||
}
|
||||
|
||||
if (i == 0) {
|
||||
value = "-L" + paths[i];
|
||||
} else {
|
||||
value = value + " -L" + paths[i];
|
||||
}
|
||||
}
|
||||
|
||||
return value;
|
||||
}
|
||||
|
||||
|
||||
/*
|
||||
* @Return version of Java home or null in case of error.
|
||||
*/
|
||||
public static String version() {
|
||||
return System.getProperty("java.version");
|
||||
}
|
||||
|
||||
|
||||
/*
|
||||
* Entry point to this class.
|
||||
*/
|
||||
public static void main(String argv[]) {
|
||||
if (argv.length < 1) {
|
||||
usage(1);
|
||||
}
|
||||
|
||||
for (int i = 0; i < argv.length; i++) {
|
||||
if (argv[i].equals("--home")) {
|
||||
concatenate(home());
|
||||
} else if (argv[i].equals("--libs-only-L")) {
|
||||
concatenate(libsOnlyL());
|
||||
} else if (argv[i].equals("--version")) {
|
||||
/* pkg-config prints version on first line */
|
||||
String version = version();
|
||||
if (null == version) {
|
||||
System.exit(2);
|
||||
}
|
||||
System.out.println(version);
|
||||
} else {
|
||||
usage(1);
|
||||
}
|
||||
}
|
||||
|
||||
if (!output.equals("")) {
|
||||
System.out.println(output);
|
||||
}
|
||||
System.exit(0);
|
||||
}
|
||||
}
|
||||
|
|
@ -1,9 +0,0 @@
|
|||
# pl
|
||||
|
||||
[This package](https://www.swi-prolog.org/) contains an ISO/Edinburgh-style
|
||||
Prolog compiler including modules, auto-load, libraries, Garbage-collector,
|
||||
stack-expandor, C/C++-interface, GNU-readline interface, very fast compiler.
|
||||
It includes Prolog packages clib (Unix process control and sockets), cpp (C++
|
||||
interface), sgml (reading XML/SGML), sgml/RDF (reading RDF into triples), and
|
||||
XPCE (Graphics UI toolkit, integrated editor (Emacs-clone) and source-level
|
||||
debugger).
|
||||
602
changelog
602
changelog
|
|
@ -1,602 +0,0 @@
|
|||
* Sun Mar 3 2024 Jerry James <loganjerry@gmail.com> - 9.2.2-1
|
||||
- Version 9.2.2
|
||||
|
||||
* Wed Feb 14 2024 Jerry James <loganjerry@gmail.com> - 9.2.1-1
|
||||
- Version 9.2.1
|
||||
|
||||
* Thu Feb 1 2024 Jerry James <loganjerry@gmail.com> - 9.2.0-1
|
||||
- Version 9.2.0
|
||||
- Add patch to fix an LTO type mismatch
|
||||
|
||||
* Mon Jan 22 2024 Jerry James <loganjerry@gmail.com> - 9.0.4-4
|
||||
- Add patch for zlib-ng
|
||||
|
||||
* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 9.0.4-4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
|
||||
|
||||
* Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> - 9.0.4-3
|
||||
- Update License tags
|
||||
|
||||
* Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 9.0.4-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
||||
|
||||
* Fri Jul 14 2023 Jerry James <loganjerry@gmail.com> - 9.0.4-2
|
||||
- Update deprecated %%patchN usage
|
||||
- Update License tag with names recently added to Fedora
|
||||
- Drop 32-bit ARM support
|
||||
|
||||
* Mon Feb 27 2023 Jerry James <loganjerry@gmail.com> - 9.0.4-2
|
||||
- Dynamically generate python BuildRequires
|
||||
|
||||
* Tue Jan 31 2023 Tom Callaway <spot@fedoraproject.org> - 9.0.4-2
|
||||
- enable docs on aarch64
|
||||
|
||||
* Fri Jan 27 2023 Jerry James <loganjerry@gmail.com> - 9.0.4-1
|
||||
- Version 9.0.4
|
||||
- Drop upstreamed C99 patch
|
||||
- Use a Unicode locale while testing to avoid a failed test
|
||||
- Disable tests on ppc64le until we can diagnose 1 failed test
|
||||
- Disable docs on aarch until bz 2165146 is fixed
|
||||
|
||||
* Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 9.0.3-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
||||
|
||||
* Tue Jan 10 2023 Florian Weimer <fweimer@redhat.com> - 9.0.3-2
|
||||
- Fix C99 compatibility issues in CMake checks
|
||||
|
||||
* Sun Dec 18 2022 Jerry James <loganjerry@gmail.com> - 9.0.3-1
|
||||
- Version 9.0.3
|
||||
|
||||
* Thu Dec 15 2022 Jerry James <loganjerry@gmail.com> - 9.0.2-1
|
||||
- Version 9.0.2
|
||||
- Convert License tag to SPDX (with some licenses pending review)
|
||||
- Add %%check script for 64-bit architectures
|
||||
|
||||
* Wed Aug 24 2022 Davide Cavalca <dcavalca@fedoraproject.org> - 8.4.3-4
|
||||
- Make it buildable for EPEL
|
||||
|
||||
* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 8.4.3-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
||||
|
||||
* Tue Jul 5 2022 Jerry James <loganjerry@gmail.com> - 8.4.3-2
|
||||
- Do not build pl-jpl for i686 (rhbz#2104088)
|
||||
|
||||
* Tue Jun 21 2022 Jerry James <loganjerry@gmail.com> - 8.4.3-1
|
||||
- Version 8.4.3
|
||||
|
||||
* Fri Mar 4 2022 Jerry James <loganjerry@gmail.com> - 8.4.2-2
|
||||
- Remove . from %%cmake to fix FTBFS
|
||||
|
||||
* Mon Feb 14 2022 Jerry James <loganjerry@gmail.com> - 8.4.2-1
|
||||
- Version 8.4.2
|
||||
|
||||
* Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 8.4.1-3
|
||||
- Rebuilt for java-17-openjdk as system jdk
|
||||
|
||||
* Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 8.4.1-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
||||
|
||||
* Tue Nov 16 2021 Jerry James <loganjerry@gmail.com> - 8.4.1-1
|
||||
- Version 8.4.1
|
||||
- Drop upstreamed -pclose patch
|
||||
|
||||
* Sat Oct 2 2021 Jerry James <loganjerry@gmail.com> - 8.4.0-1
|
||||
- Version 8.4.0
|
||||
- Drop upstreamed -qt-deprecated and -openssl3 patches
|
||||
- Add -pclose patch to avoid zombie processes
|
||||
|
||||
* Thu Sep 16 2021 Jerry James <loganjerry@gmail.com> - 8.2.4-3
|
||||
- Add -openssl3 patch to fix FTBFS with OpenSSL 3.0.0
|
||||
|
||||
* Tue Sep 14 2021 Sahana Prasad <sahana@redhat.com> - 8.2.4-3
|
||||
- Rebuilt with OpenSSL 3.0.0
|
||||
|
||||
* Tue Jul 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 8.2.4-2
|
||||
- Second attempt - Rebuilt for
|
||||
https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
||||
|
||||
* Wed Jan 27 2021 Jerry James <loganjerry@gmail.com> - 8.2.4-1
|
||||
- Version 8.2.4
|
||||
- Drop upstreamed swipl-8.2.2-underscore.patch
|
||||
|
||||
* Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 8.2.3-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
||||
|
||||
* Thu Nov 26 2020 Jerry James <loganjerry@gmail.com> - 8.2.3-1
|
||||
- Version 8.2.3
|
||||
- Add swipl-8.2.3-qt-deprecated.patch to silence Qt deprecation warnings
|
||||
|
||||
* Tue Oct 27 2020 Jerry James <loganjerry@gmail.com> - 8.2.2-1
|
||||
- Version 8.2.2
|
||||
- Remove upstreamed -bad-bibtex-entry patch
|
||||
- Add -underscore patch to work around LaTeX errors
|
||||
|
||||
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 8.2.1-4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
||||
|
||||
* Thu Jul 23 2020 Jerry James <loganjerry@gmail.com> - 8.2.1-3
|
||||
- Update for cmake changes in Rawhide
|
||||
|
||||
* Sat Jul 11 2020 Jiri Vanek <jvanek@redhat.com> - 8.2.1-2
|
||||
- Rebuilt for JDK-11, see https://fedoraproject.org/wiki/Changes/Java11
|
||||
|
||||
* Mon Jun 29 2020 Jerry James <loganjerry@gmail.com> - 8.2.1-1
|
||||
- 8.2.1 bump
|
||||
- Add -bad-bibtex-entry patch
|
||||
|
||||
* Tue Jun 16 2020 Jerry James <loganjerry@gmail.com> - 8.2.0-2
|
||||
- Fix broken symlinks in the jpl subpackage (bz 1847510)
|
||||
|
||||
* Thu May 28 2020 Jerry James <loganjerry@gmail.com> - 8.2.0-1
|
||||
- 8.2.0 bump
|
||||
|
||||
* Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 8.0.3-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
||||
|
||||
* Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 8.0.3-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
||||
|
||||
* Wed Jun 19 2019 Jerry James <loganjerry@gmail.com> - 8.0.3-1
|
||||
- 8.0.3 bump (bz 1722172)
|
||||
|
||||
* Fri Mar 22 2019 Jerry James <loganjerry@gmail.com> - 8.0.2-1
|
||||
- 8.0.2 bump (bz 1669571)
|
||||
- Drop the -static subpackage
|
||||
- Drop the -jpl-configure, -pc, and -Use-system-js-query patches
|
||||
- Add -unbundle-libstemmer patch
|
||||
- Add a check script
|
||||
- Build the PDF instead of using the one provided by upstream
|
||||
|
||||
* Sun Feb 17 2019 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 7.6.4-9
|
||||
- Rebuild for readline 8.0
|
||||
|
||||
* Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 7.6.4-8
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
||||
|
||||
* Mon Jan 14 2019 Björn Esser <besser82@fedoraproject.org> - 7.6.4-7
|
||||
- Rebuilt for libcrypt.so.2 (#1666033)
|
||||
|
||||
* Sun Nov 18 2018 Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 7.6.4-6
|
||||
- Use C.UTF-8 locale
|
||||
See https://fedoraproject.org/wiki/Changes/Remove_glibc-langpacks-all_from_buildroot
|
||||
|
||||
* Tue Aug 28 2018 Petr Pisar <ppisar@redhat.com> - 7.6.4-5
|
||||
- Use latest jquery from js-jquery package
|
||||
|
||||
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 7.6.4-4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
||||
|
||||
* Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 7.6.4-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
||||
|
||||
* Sat Jan 20 2018 Björn Esser <besser82@fedoraproject.org> - 7.6.4-2
|
||||
- Rebuilt for switch to libxcrypt
|
||||
|
||||
* Mon Jan 15 2018 Petr Pisar <ppisar@redhat.com> - 7.6.4-1
|
||||
- 7.6.4 bump
|
||||
|
||||
* Wed Nov 08 2017 Petr Pisar <ppisar@redhat.com> - 7.6.1-1
|
||||
- 7.6.1 bump
|
||||
- License changed from ((BSD and (GPLv2+ with exceptions or Artistic 2.0)) and
|
||||
(GPL+ or Artistic) and (BSD or GPL) and LGPLv2+ and TCL and UCD and MIT and
|
||||
BSD and Public Domain) to ((BSD and (GPLv2+ with exceptions or Artistic 2.0))
|
||||
and (GPL+ or Artistic) and (BSD or GPL) and TCL and UCD and MIT and BSD and
|
||||
Public Domain)
|
||||
|
||||
* Fri Oct 20 2017 Jitka Plesnikova <jplesnik@redhat.com> - 7.6.0-1
|
||||
- 7.6.0 bump
|
||||
|
||||
* Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 7.4.2-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
||||
|
||||
* Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 7.4.2-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
||||
|
||||
* Thu Apr 20 2017 Petr Pisar <ppisar@redhat.com> - 7.4.2-1
|
||||
- 7.4.2 bump
|
||||
|
||||
* Mon Mar 06 2017 Petr Pisar <ppisar@redhat.com> - 7.4.1-1
|
||||
- 7.4.1 bump
|
||||
- License changed from ((GPLv2+ with exceptions or Artistic 2.0) and (GPLv2+
|
||||
with exceptions) and (GPLv2 with exception) and (GPL+ or Artistic) and
|
||||
LGPLv2+ and LGPLv2 and UCD and (UCD and MIT) and BSD and Public Domain and
|
||||
EPL and GPLv2 and GPLv2+ and GPLv3+) to ((BSD and (GPLv2+ with exceptions or
|
||||
Artistic 2.0)) and (GPL+ or Artistic) and (BSD or GPL) and LGPLv2+ and TCL
|
||||
and UCD and MIT and BSD and Public Domain)
|
||||
|
||||
* Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 7.2.3-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
||||
|
||||
* Thu Jan 12 2017 Igor Gnatenko <ignatenko@redhat.com> - 7.2.3-4
|
||||
- Rebuild for readline 7.x
|
||||
- Adapt Java library path to java-1.8.0-openjdk-aarch32 (bug #1412771)
|
||||
|
||||
* Wed Apr 13 2016 Petr Pisar <ppisar@redhat.com> - 7.2.3-3
|
||||
- Correct swipl-ld tool to handle 268-byte long compiler flags (bug #1326581)
|
||||
|
||||
* Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 7.2.3-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
||||
|
||||
* Thu Aug 27 2015 Petr Pisar <ppisar@redhat.com> - 7.2.3-1
|
||||
- 7.2.3 bump
|
||||
|
||||
* Thu Jun 25 2015 Petr Pisar <ppisar@redhat.com> - 7.2.2-1
|
||||
- 7.2.2 bump
|
||||
- License changed from ((GPLv2+ with exceptions or Artistic 2.0) and (GPLv2+
|
||||
with exceptions) and (GPLv2 with exception) and (GPL+ or Artistic) and
|
||||
LGPLv2+ and LGPLv2 and UCD and (UCD and MIT) and BSD and Public Domain and
|
||||
EPL and GPLv2 and GPLv3+) to ((GPLv2+ with exceptions or Artistic 2.0) and
|
||||
(GPLv2+ with exceptions) and (GPLv2 with exception) and (GPL+ or Artistic)
|
||||
and LGPLv2+ and LGPLv2 and UCD and (UCD and MIT) and BSD and Public Domain
|
||||
and EPL and GPLv2 and GPLv2+ and GPLv3+)
|
||||
|
||||
* Mon Jun 22 2015 Petr Pisar <ppisar@redhat.com> - 7.2.1-3
|
||||
- Depend on javapackages-tools instead of jpackage-utils to conform to new Java
|
||||
guidelines
|
||||
|
||||
* Thu Jun 18 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 7.2.1-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
||||
|
||||
* Mon Jun 15 2015 Petr Pisar <ppisar@redhat.com> - 7.2.1-1
|
||||
- 7.2.1 bump
|
||||
- Depend on gcc because glibc-headers package will be removed (bug #1230490)
|
||||
- Unbundle jquery-1
|
||||
|
||||
* Fri Jun 05 2015 Petr Pisar <ppisar@redhat.com> - 7.2.0-1
|
||||
- 7.2.0 bump
|
||||
- License changed from ((GPLv2+ with exceptions or Artistic 2.0) and (GPLv2+
|
||||
with exceptions) and LGPLv2+ and LGPLv2 and UCD and BSD and Public Domain
|
||||
and EPL and GPLv2 and GPLv3+) to ((GPLv2+ with exceptions or Artistic 2.0)
|
||||
and (GPLv2+ with exceptions) and (GPLv2 with exception) and (GPL+ or
|
||||
Artistic) and LGPLv2+ and LGPLv2 and UCD and (UCD and MIT) and BSD and Public
|
||||
Domain and EPL and GPLv2 and GPLv3+)
|
||||
|
||||
* Wed Apr 22 2015 Petr Pisar <ppisar@redhat.com> - 6.6.6-6
|
||||
- Describe XPCE is in pl-xpce (bug #1204623)
|
||||
|
||||
* Fri Feb 27 2015 Petr Pisar <ppisar@redhat.com> - 6.6.6-5
|
||||
- Build binding for libarchive (bug #1195960)
|
||||
|
||||
* Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 6.6.6-4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
||||
|
||||
* Wed Jun 25 2014 Yaakov Selkowitz <yselkowi@redhat.com> - 6.6.6-3
|
||||
- Fix detection of libjvm on aarch64 (#1112012)
|
||||
|
||||
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 6.6.6-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
||||
|
||||
* Mon Jun 02 2014 Petr Pisar <ppisar@redhat.com> - 6.6.6-1
|
||||
- 6.6.6 bump
|
||||
|
||||
* Mon Apr 28 2014 Petr Pisar <ppisar@redhat.com> - 6.6.5-1
|
||||
- 6.6.5 bump
|
||||
|
||||
* Mon Mar 24 2014 Petr Pisar <ppisar@redhat.com> - 6.6.4-1
|
||||
- 6.6.4 bump
|
||||
|
||||
* Thu Mar 20 2014 Petr Pisar <ppisar@redhat.com> - 6.6.3-1
|
||||
- 6.6.3 bump
|
||||
|
||||
* Wed Mar 05 2014 Petr Pisar <ppisar@redhat.com> - 6.6.2-1
|
||||
- 6.6.2 bump
|
||||
- License changed from ((GPLv2+ with exceptions or Artistic 2.0) and (GPLv2+
|
||||
with exceptions) and LGPLv2+ and LGPLv2 and UCD and BSD and Public Domain
|
||||
and GPLv2 and GPLv3+) to ((GPLv2+ with exceptions or Artistic 2.0) and (GPLv2+
|
||||
with exceptions) and LGPLv2+ and LGPLv2 and UCD and BSD and Public Domain and
|
||||
EPL and GPLv2 and GPLv3+)
|
||||
|
||||
* Tue Feb 25 2014 Petr Pisar <ppisar@redhat.com> - 6.6.1-2
|
||||
- Require headless JRE only (bug #1068485)
|
||||
|
||||
* Mon Dec 16 2013 Petr Pisar <ppisar@redhat.com> - 6.6.1-1
|
||||
- 6.6.1 bump
|
||||
|
||||
* Mon Dec 02 2013 Petr Pisar <ppisar@redhat.com> - 6.6.0-1
|
||||
- 6.6.0 bump
|
||||
- Inhibit format-security compiler warning on custom sscanf() parser
|
||||
(bug #1037250)
|
||||
|
||||
* Tue Sep 03 2013 Petr Pisar <ppisar@redhat.com> - 6.4.1-1
|
||||
- 6.4.1 bump
|
||||
- License changed from ((GPLv2+ or Artistic 2.0) and LGPLv2+ and LGPLv2 and
|
||||
GPLv2 and GPLv2+ and UCD and Public Domain and GPLv3+) to ((GPLv2+ with
|
||||
exceptions or Artistic 2.0) and (GPLv2+ with exceptions) and LGPLv2+ and
|
||||
LGPLv2 and UCD and Public Domain and GPLv3+ and CC-BY-SA)
|
||||
|
||||
* Sun Aug 04 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 6.2.6-4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
|
||||
|
||||
* Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 6.2.6-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
||||
|
||||
* Mon Jan 21 2013 Adam Tkac <atkac redhat com> - 6.2.6-2
|
||||
- rebuild due to "jpeg8-ABI" feature drop
|
||||
|
||||
* Mon Jan 14 2013 Petr Pisar <ppisar@redhat.com> - 6.2.6-1
|
||||
- 6.2.6 bump
|
||||
|
||||
* Thu Jan 03 2013 Petr Pisar <ppisar@redhat.com> - 6.2.5-1
|
||||
- 6.2.5 bump
|
||||
|
||||
* Thu Dec 13 2012 Petr Pisar <ppisar@redhat.com> - 6.2.4-1
|
||||
- 6.2.4 bump
|
||||
|
||||
* Mon Dec 03 2012 Petr Pisar <ppisar@redhat.com> - 6.2.3-2
|
||||
- Sub-package YAP compatibility headers because they are not compatible with
|
||||
real YAP
|
||||
|
||||
* Thu Nov 22 2012 Petr Pisar <ppisar@redhat.com> - 6.2.3-1
|
||||
- 6.2.3 bump
|
||||
|
||||
* Tue Oct 02 2012 Petr Pisar <ppisar@redhat.com> - 6.2.2-1
|
||||
- 6.2.2 bump
|
||||
|
||||
* Mon Sep 10 2012 Petr Pisar <ppisar@redhat.com> - 6.2.1-1
|
||||
- 6.2.1 bump
|
||||
|
||||
* Thu Aug 23 2012 Petr Pisar <ppisar@redhat.com> - 6.2.0-1
|
||||
- 6.2.0 bump
|
||||
|
||||
* Fri Jul 27 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 6.0.2-4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
||||
|
||||
* Thu Mar 22 2012 Petr Pisar <ppisar@redhat.com> - 6.0.2-3
|
||||
- Remove JDK version constrain by hacking JDK paths (bug #740897)
|
||||
|
||||
* Fri Mar 09 2012 Petr Pisar <ppisar@redhat.com> - 6.0.2-2
|
||||
- Own jpl.jar file by jpl sub-package only
|
||||
|
||||
* Mon Mar 05 2012 Petr Pisar <ppisar@redhat.com> - 6.0.2-1
|
||||
- 6.0.2 bump
|
||||
- Artistic licensed code dual-lincensed under GPLv2+ or Artistic 2.0 now
|
||||
- Keep executables as symlinks because interpreter uses the symlink value to
|
||||
locate standard library
|
||||
- xpce is run as swipl now
|
||||
- Move documentation into separate sub-package
|
||||
- Move XPCE into separate sub-package
|
||||
- Move ODBC interface into separate sub-package
|
||||
- Fix JPL interface (bug #590499)
|
||||
|
||||
* Thu Mar 01 2012 Petr Pisar <ppisar@redhat.com> - 6.0.1-1
|
||||
- 6.0.1 bump
|
||||
- Clean spec file
|
||||
|
||||
* Sat Jan 14 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 5.10.5-7
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
|
||||
|
||||
* Wed Oct 26 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 5.10.5-6
|
||||
- Rebuilt for glibc bug#747377
|
||||
|
||||
* Wed Oct 26 2011 Marcela Mašláňová <mmaslano@redhat.com> - 5.10.5-5
|
||||
- rebuild with new gmp
|
||||
|
||||
* Tue Sep 27 2011 Petr Pisar <ppisar@redhat.com> - 5.10.5-4
|
||||
- Unify java path search (bug #740897)
|
||||
|
||||
* Fri Sep 23 2011 Petr Pisar <ppisar@redhat.com> - 5.10.5-3
|
||||
- Correct Java paths on ARM (thanks to David A. Marlin)
|
||||
|
||||
* Wed Aug 24 2011 Petr Pisar <ppisar@redhat.com> - 5.10.5-2
|
||||
- Fix segfault in PutImagePixels32() while displaying malformed GIF
|
||||
(bug #732952)
|
||||
|
||||
* Mon Aug 22 2011 Petr Pisar <ppisar@redhat.com> - 5.10.5-1
|
||||
- 5.10.5 bump
|
||||
- Adjust patches and remove merged ones
|
||||
|
||||
* Fri Aug 19 2011 Petr Pisar <ppisar@redhat.com> - 5.10.2-4
|
||||
- Fix CVE-2011-2896 (David Koblas' GIF decoder LZW decoder buffer overflow)
|
||||
(bug #727800)
|
||||
- Fix other GIF decoder bug
|
||||
(http://www.swi-prolog.org/bugzilla/show_bug.cgi?id=7#c4)
|
||||
|
||||
* Thu Feb 10 2011 Petr Pisar <ppisar@redhat.com> - 5.10.2-3
|
||||
- Pass -export-dynamic to linker properly
|
||||
|
||||
* Wed Feb 09 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 5.10.2-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
|
||||
|
||||
* Thu Dec 16 2010 Petr Pisar <ppisar@redhat.com> - 5.10.2-1
|
||||
- 5.10.2 bump
|
||||
- Use DT_RUNPATH instead of pl-5.7.11-rpath.patch
|
||||
- Adjust jpl-configure.patch to 5.10.2
|
||||
- Adjust man-files.patch to 5.10.2
|
||||
- Adjust jni.patch to 5.10.2
|
||||
- Adjust pc.patch to 5.10.2
|
||||
- Use make install method for installation
|
||||
- Adjust license tag to 5.10.2 version (LGPLv2+ added)
|
||||
- Add executable permission to some files to be properly packaged
|
||||
- Re-add XPCE user guide
|
||||
|
||||
* Wed Dec 8 2010 Petr Pisar <ppisar@redhar.com> - 5.7.11-6
|
||||
- Inhibit XPCE by macro to silent rpmlint
|
||||
- Define implicit attributes for jpl files
|
||||
- Expand tabs to spaces to silent rpmlint
|
||||
- Remove executable bit from jpl documentation files
|
||||
- Fix spelling in package descriptions
|
||||
- Strip debuginfo from libpl.so by setting executable bit
|
||||
- Change license to reflect reality (yes, Artistic1)
|
||||
- Make java part optional
|
||||
|
||||
* Fri Aug 21 2009 Tomas Mraz <tmraz@redhat.com> - 5.7.11-5
|
||||
- rebuilt with new openssl
|
||||
|
||||
* Fri Aug 14 2009 Gerard Milmeister <gemi@bluewin.ch> - 5.7.11-4
|
||||
- move include files to expected place
|
||||
|
||||
* Sun Jul 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 5.7.11-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
|
||||
|
||||
* Tue Jul 7 2009 Mary Ellen Foster <mefoster at gmail.com> - 5.7.11-2
|
||||
- Really fix issue with compiling "maildrop" packages
|
||||
|
||||
* Mon Jul 6 2009 Mary Ellen Foster <mefoster at gmail.com> - 5.7.11-1
|
||||
- Move binaries into /usr/bin directly to fix multilib issues
|
||||
- Update to latest upstream release
|
||||
- Use officially-distributed PDF documentation instead of HTML
|
||||
- Unify Java patches
|
||||
- Remove strndup package; they fixed it upstream
|
||||
- Fix compilation of "maildrop" packages
|
||||
- Give the xpce documentation directory a clearer name
|
||||
- Removed the FILES section of the man page because it also caused
|
||||
multilib conflicts (and was inaccurate anyway)
|
||||
|
||||
* Fri Jun 12 2009 Dennis Gilmore <dennis@ausil.us> 5.7.6-5
|
||||
-dont use a static definition for strndup
|
||||
|
||||
* Mon Mar 02 2009 Dennis Gilmore <dennis@ausil.us> 5.7.6-4
|
||||
- fix JAVA_HOME and JAVA_LIB for sparc arches
|
||||
|
||||
* Sun Mar 01 2009 Karsten Hopp <karsten@redhat.com> 5.7.6-3
|
||||
- fix java LIBDIRS for mainframe, similar to alpha
|
||||
|
||||
* Wed Feb 25 2009 Mary Ellen Foster <mefoster at gmail.com> - 5.7.6-2
|
||||
- Unify all changes:
|
||||
- Fix java LIBDIRS on alpha (Oliver Falk)
|
||||
|
||||
* Wed Feb 25 2009 Mary Ellen Foster <mefoster at gmail.com> - 5.7.6-1
|
||||
- Update to version 5.7
|
||||
- Cleaned up virtual machine and compiler
|
||||
- Increased performance
|
||||
|
||||
* Sat Jan 17 2009 Tomas Mraz <tmraz@redhat.com> - 5.6.60-3
|
||||
- rebuild with new openssl
|
||||
|
||||
* Fri Sep 19 2008 Tom "spot" Callaway <tcallawa@redhat.com> - 5.6.60-2
|
||||
- forgot to remove ANNOUNCE from doc list
|
||||
|
||||
* 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)
|
||||
|
||||
* Wed Jun 25 2008 Mary Ellen Foster <mefoster at gmail.com> - 5.6.57-1
|
||||
- Another update, after vacation
|
||||
|
||||
* Mon May 19 2008 Mary Ellen Foster <mefoster at gmail.com> - 5.6.55-1
|
||||
- Update to 5.6.55 (wow, fast updates!)
|
||||
- Un-split xpce for now
|
||||
- Conditionally build jpl (on Fedora 9 with openjdk, and on
|
||||
Fedora 8 non-ppc with icedtea)
|
||||
|
||||
* Wed May 07 2008 Mary Ellen Foster <mefoster at gmail.com> - 5.6.54-1
|
||||
- Update to 5.6.54 and prepare to actually push this
|
||||
- Try splitting xpce into own package
|
||||
|
||||
* Tue Apr 15 2008 Mary Ellen Foster <mefoster at gmail.com> - 5.6.53-1
|
||||
- Update to 5.6.53 -- fixes ppc64 problems, yay!
|
||||
|
||||
* Wed Apr 09 2008 Mary Ellen Foster <mefoster at gmail.com> - 5.6.52-2
|
||||
- Put JPL stuff where the new Java packaging guidelines say it should be
|
||||
and make all of the necessary adjustments in other files
|
||||
- Split out "-devel" and "-static" packages per guidelines
|
||||
|
||||
* Mon Mar 31 2008 Mary Ellen Foster <mefoster at gmail.com> - 5.6.52-1
|
||||
- Switch jpl requirement from IcedTea to OpenJDK and enable it everywhere
|
||||
- Upgrade to 5.6.52
|
||||
- Patch jpl configure script to find Java libraries on ppc{64}
|
||||
- NB: Still broken on ppc64, still trying to figure out why
|
||||
|
||||
* Mon Feb 25 2008 Mary Ellen Foster <mefoster at gmail.com> - 5.6.51-1
|
||||
- Upgrade to 5.6.51
|
||||
|
||||
* Fri Feb 22 2008 Mary Ellen Foster <mefoster at gmail.com> - 5.6.50-1
|
||||
- Update to 5.6.50
|
||||
- Enable JPL (as a sub-package) -- NB: it only builds with icedtea for now,
|
||||
so we disable that sub-package on ppc64 and ppc for the moment
|
||||
|
||||
* Mon Feb 18 2008 Fedora Release Engineering <rel-eng@fedoraproject.org> - 5.6.47-9
|
||||
- Autorebuild for GCC 4.3
|
||||
|
||||
* Thu Dec 6 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.6.47-8
|
||||
- compile with -fno-strict-aliasing
|
||||
|
||||
* Wed Dec 5 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.6.47-5
|
||||
- disable jpl for now
|
||||
|
||||
* Wed Dec 5 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.6.47-4
|
||||
- enable shared library building
|
||||
|
||||
* Wed Dec 5 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.6.47-1
|
||||
- new release 5.6.47
|
||||
|
||||
* Fri Jun 8 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.6.35-1
|
||||
- new version 5.6.35
|
||||
- add requires readline-devel
|
||||
|
||||
* Mon Apr 23 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.6.34-1
|
||||
- new version 5.6.34
|
||||
|
||||
* Fri Feb 23 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.6.28-1
|
||||
- new version 5.6.28
|
||||
|
||||
* Fri Dec 1 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.6.24-1
|
||||
- new version 5.6.24
|
||||
|
||||
* Sun Oct 1 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.6.20-1
|
||||
- new version 5.6.20
|
||||
|
||||
* Sat Sep 2 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.6.18-1
|
||||
- updated to 5.6.18
|
||||
|
||||
* Mon Aug 28 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.6.16-3
|
||||
- Rebuild for FE6
|
||||
|
||||
* Tue Jul 11 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.6.16-1
|
||||
- new version 5.6.16
|
||||
|
||||
* Mon May 1 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.6.12-3
|
||||
- added buildreq for libXinerama-devel
|
||||
|
||||
* Mon May 1 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.6.12-2
|
||||
- added patch to compile with xft
|
||||
|
||||
* Sun Apr 30 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.6.12-1
|
||||
- new version 5.6.12
|
||||
|
||||
* Wed Mar 8 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.6.7-1
|
||||
- new version 5.6.7
|
||||
|
||||
* Sat Jan 28 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.6.3-1
|
||||
- new version 5.6.3
|
||||
|
||||
* Mon Jan 2 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.6.0-1
|
||||
- new version 5.6.0
|
||||
|
||||
* Wed Jun 22 2005 Gerard Milmeister <gemi@bluewin.ch> - 5.4.7-1
|
||||
- new version 5.4.7
|
||||
|
||||
* Sun May 22 2005 Jeremy Katz <katzj@redhat.com> - 5.4.6-9
|
||||
- rebuild on all arches
|
||||
|
||||
* Wed Apr 6 2005 Michael Schwendt <mschwendt[AT]users.sf.net>
|
||||
- rebuilt
|
||||
|
||||
* Wed Feb 23 2005 David Woodhouse <dwmw2@infradead.org> - 5.4.6-7
|
||||
- Fix visibility abuse. This may well fix x86_64 too, so re-enable that.
|
||||
|
||||
* Mon Feb 21 2005 Gerard Milmeister <gemi@bluewin.ch> - 5.4.6-6
|
||||
- Exclude x86_64 for now (bugzilla 149038)
|
||||
|
||||
* Sun Feb 20 2005 Michael Schwendt <mschwendt[AT]users.sf.net> - 5.4.6-5
|
||||
- Added patch1 for a few multilib Makefile/configure fixes.
|
||||
- Use %%makeinstall and set libdir in install section.
|
||||
|
||||
* Sat Feb 12 2005 Warren Togami <wtogami@redhat.com> - 5.4.6-4
|
||||
- remove duplicate RPATH patch
|
||||
- remove Epoch
|
||||
- remove redundant unixODBC from BR
|
||||
|
||||
* Sat Feb 12 2005 Gerard Milmeister <gemi@bluewin.ch> - 5.4.6-2
|
||||
- Added BuildRequires: unixODBC, unixODBC-devel
|
||||
- Removed rpath from shared libs: pl-rpath.patch
|
||||
|
||||
* Sat Feb 12 2005 Gerard Milmeister <gemi@bluewin.ch> - 5.4.6-1
|
||||
- New Version 5.4.6
|
||||
|
||||
* Thu Jan 13 2005 Gerard Milmeister <gemi@bluewin.ch> - 5.4.5-0.fdr.1
|
||||
- New Version 5.4.5
|
||||
221
licenses.txt
221
licenses.txt
|
|
@ -1,221 +0,0 @@
|
|||
The swipl project is released under the BSD-2-Clause license. Exceptions are
|
||||
noted below. The status of each file is indicated with the following codes:
|
||||
|
||||
BD = in the swi-prolog-bdb package
|
||||
CL = in the swi-prolog-cli package
|
||||
CP = in the swi-prolog-core-packages package
|
||||
CR = in the swi-prolog-core package
|
||||
DC = in the swi-prolog-doc package
|
||||
FL = in the swi-prolog-full package
|
||||
JV = in the swi-prolog-java pacakge
|
||||
MN = in the main package, swi-prolog
|
||||
NP = not packaged; these files do not influence the package License field
|
||||
OD = in the swi-prolog-odbc package
|
||||
TS = in the swi-prolog-test package
|
||||
WN = in the swi-prolog-win package
|
||||
|
||||
bcrypt-Solar-Designer
|
||||
---------------------
|
||||
CL packages/ssl/crypt_blowfish.{c,h}
|
||||
|
||||
Beerware
|
||||
--------
|
||||
CP packages/clib/md5passwd.c
|
||||
|
||||
Brian-Gladman-3-Clause OR GPL-1.0-or-later
|
||||
------------------------------------------
|
||||
CP packages/clib/sha1/brg_endian.h
|
||||
CP packages/clib/sha1/brg_types.h
|
||||
CP packages/clib/sha1/hmac.{c,h}
|
||||
CP packages/clib/sha1/pwd2key.{c,h}
|
||||
CP packages/clib/sha1/sha*
|
||||
CR src/pl-termhash.{c,h}
|
||||
|
||||
BSD-2-Clause AND BSD-3-Clause
|
||||
-----------------------------
|
||||
CL packages/libedit/libedit4pl.c
|
||||
|
||||
BSD-2-Clause AND FBM AND HPND-Pbmplus
|
||||
-------------------------------------
|
||||
WN packages/xpce/src/img/gifwrite.c
|
||||
|
||||
BSD-2-Clause AND GPL-2.0-or-later
|
||||
---------------------------------
|
||||
TS src/Tests/core/test_coroutining.pl
|
||||
|
||||
BSD-2-Clause AND IJG
|
||||
--------------------
|
||||
WN packages/xpce/src/img/jdatadst.c
|
||||
WN packages/xpce/src/img/jdatasrc.c
|
||||
|
||||
BSD-2-Clause AND LicenseRef-Fedora-Public-Domain
|
||||
------------------------------------------------
|
||||
CR library/aggregate.pl
|
||||
WN packages/xpce/src/gra/colour.c
|
||||
|
||||
BSD-2-Clause AND MIT
|
||||
--------------------
|
||||
CP packages/http/http_stream.pl
|
||||
CP packages/http/multipart.c
|
||||
|
||||
BSD-2-Clause AND Unicode-DFS-2016
|
||||
---------------------------------
|
||||
CR library/blocks.pl
|
||||
|
||||
BSD-2-Clause OR Artistic-2.0
|
||||
----------------------------
|
||||
CP library/ugraphs.pl
|
||||
|
||||
BSD-3-Clause
|
||||
------------
|
||||
CP packages/clib/bsd-crypt.c
|
||||
NP packages/libedit/libedit/*
|
||||
NP packages/odbc/cmake/FindODBC.cmake
|
||||
NP packages/protobufs/interop/google/protobuf/unittest*
|
||||
CL packages/tipc/tipcutils/tipc-config.c
|
||||
NP packages/xpce/cmake/FindFontConfig.cmake
|
||||
CR src/libbf/mersenne-twister.{c,h}
|
||||
|
||||
CC-BY-SA-3.0
|
||||
------------
|
||||
DC man/main.doc
|
||||
WN packages/xpce/man/course/doc.doc
|
||||
WN packages/xpce/man/info/titlepage.def
|
||||
|
||||
dtoa
|
||||
----
|
||||
CR src/os/dtoa.c
|
||||
|
||||
Free for non-commercial use
|
||||
---------------------------
|
||||
NP bench/unify.pl (removed from tarball)
|
||||
NP bench/simple_analyzer.pl (removed from tarball)
|
||||
|
||||
GFDL-1.3-no-invariants-or-later
|
||||
-------------------------------
|
||||
CP packages/sweep/sweep.texi
|
||||
|
||||
GPL-1.0-or-later OR Artistic-1.0-Perl
|
||||
-------------------------------------
|
||||
CP packages/nlp/double_metaphone.c
|
||||
|
||||
GPL-2.0-or-later
|
||||
----------------
|
||||
NP repackage.sh (not included in the upstream tarball)
|
||||
NP packages/xpce/man/info/texinfo.tex
|
||||
|
||||
GPL-2.0-or-later WITH Bison-exception-2.2 AND LicenseRef-Fedora-Public-Domain
|
||||
-----------------------------------------------------------------------------
|
||||
WN packages/xpce/src/gnu/getdate.c
|
||||
|
||||
GPL-2.0-or-later with SWI-exception
|
||||
-----------------------------------
|
||||
CP packages/clpqr/*
|
||||
CP packages/http/http_server_health.pl
|
||||
TS src/Tests/compile/test_autoload.pl
|
||||
TS tests/library/test_pio.pl
|
||||
|
||||
GPL-3.0-or-later
|
||||
----------------
|
||||
CP packages/sweep/emacs-module.h
|
||||
|
||||
Knuth-CTAN
|
||||
----------
|
||||
DC man/name.bst
|
||||
WN packages/xpce/TeX/name.bst
|
||||
|
||||
LGPL-2.0-only
|
||||
-------------
|
||||
NP cmake/TestSignalType.cmake
|
||||
|
||||
LGPL-2.0-or-later
|
||||
-----------------
|
||||
CP packages/nlp/isub.c
|
||||
|
||||
LGPL-2.1-or-later
|
||||
-----------------
|
||||
TS src/Tests/core/test_arith.pl
|
||||
TS src/Tests/core/test_bips.pl
|
||||
TS src/Tests/core/test_dcg.pl
|
||||
TS src/Tests/core/test_sort.pl
|
||||
TS src/Tests/core/test_subsumes.pl
|
||||
|
||||
LicenseRef-Fedora-Public-Domain
|
||||
-------------------------------
|
||||
NP bench/programs/derive.pl
|
||||
NP bench/programs/divide10.pl
|
||||
NP bench/programs/eval.pl
|
||||
NP bench/programs/fib.pl
|
||||
NP bench/programs/log10.pl
|
||||
NP bench/programs/nreverse.pl
|
||||
NP bench/programs/ops8.pl
|
||||
NP bench/programs/qsort.pl
|
||||
NP bench/programs/queens_clpfd.pl
|
||||
NP bench/programs/query.pl
|
||||
NP bench/programs/serialise.pl
|
||||
NP bench/programs/sieve.pl
|
||||
NP bench/programs/times10.pl
|
||||
CR library/dialect/bim.pl
|
||||
NP packages/clib/demo/*
|
||||
NP packages/cpp/likes.cpp
|
||||
NP packages/http/examples/demo_body.pl
|
||||
NP packages/http/examples/demo_daemon.pl
|
||||
CP packages/semweb/murmur.{c,h}
|
||||
NP packages/ssl/https.pl
|
||||
NP packages/stomp/examples/*
|
||||
NP packages/swipy/tests/russel.pl
|
||||
WN packages/xpce/man/course/bib.pl
|
||||
WN packages/xpce/man/course/fam.pl
|
||||
WN packages/xpce/man/course/ftp.pl
|
||||
WN packages/xpce/man/course/learner.pl
|
||||
WN packages/xpce/man/course/lib/prompt.pl
|
||||
WN packages/xpce/man/info/dialog.pl
|
||||
WN packages/xpce/man/info/which.pl
|
||||
WN packages/xpce/man/info/window.pl
|
||||
WN packages/xpce/man/reference/class/image.doc
|
||||
WN packages/xpce/man/userguide/examples/graphedit.pl
|
||||
WN packages/xpce/src/gnu/getdate-source.y
|
||||
WN packages/xpce/src/gnu/y.tab
|
||||
NP scripts/swipl-bt
|
||||
CR src/pl-hash.{c,h}
|
||||
CR src/libtai/*
|
||||
NP src/tools/functions.pm
|
||||
NP src/tools/update-deps
|
||||
|
||||
LPPL-1.3c
|
||||
---------
|
||||
DC man/bk9.clo
|
||||
DC man/swipl.cls
|
||||
|
||||
MIT
|
||||
---
|
||||
NP bench/programs/chat_parser.pl
|
||||
NP packages/http/web/js/jquery*
|
||||
CP packages/mqi/python/*
|
||||
NP packages/pcre/cmake/FindPCRE.cmake
|
||||
NP packages/swipy/test_xsb_janus.pl
|
||||
NP packages/swipy/xsb_tests/*
|
||||
CR src/libbf/cutils.{c,h}
|
||||
CR src/libbf/libbf.{c,h}
|
||||
|
||||
MIT AND Unicode-DFS-2015
|
||||
------------------------
|
||||
CP packages/utf8proc/*
|
||||
|
||||
Spencer-99 AND TCL AND PostgreSQL
|
||||
---------------------------------
|
||||
WN packages/xpce/src/rgx/*
|
||||
|
||||
W3C
|
||||
---
|
||||
CP packages/sgml/DTD/*
|
||||
|
||||
X11
|
||||
---
|
||||
NP packages/xpce/deps/xpm/*
|
||||
|
||||
Zlib
|
||||
----
|
||||
CP packages/clib/md5.{c,h}
|
||||
CP packages/semweb/md5.{c,h}
|
||||
CR src/minizip/*
|
||||
11
pl-6.2.0-pc.patch
Normal file
11
pl-6.2.0-pc.patch
Normal file
|
|
@ -0,0 +1,11 @@
|
|||
--- a/src/swipl.pc.in
|
||||
+++ b/src/swipl.pc.in
|
||||
@@ -1,7 +1,7 @@
|
||||
prefix=@prefix@
|
||||
exec_prefix=@exec_prefix@
|
||||
libdir=@libdir@
|
||||
-includedir=@includedir@
|
||||
+includedir=${libdir}/@PL@-@PLVERSION@/include
|
||||
|
||||
PLBASE=@PLBASE@
|
||||
PLARCH=@PLARCH@
|
||||
|
|
@ -0,0 +1,39 @@
|
|||
From ad7eedc7eb9051443548392884d8c349341fe2f1 Mon Sep 17 00:00:00 2001
|
||||
From: =?UTF-8?q?Petr=20P=C3=ADsa=C5=99?= <ppisar@redhat.com>
|
||||
Date: Tue, 3 Dec 2013 10:01:55 +0100
|
||||
Subject: [PATCH] Inhibit compiler warning on sscanf() without arguments
|
||||
MIME-Version: 1.0
|
||||
Content-Type: text/plain; charset=UTF-8
|
||||
Content-Transfer-Encoding: 8bit
|
||||
|
||||
This code will not pass if GCC is invoked with
|
||||
-Werror=format-security. This is a false positive as the format string
|
||||
is sanitized before.
|
||||
|
||||
<https://bugzilla.redhat.com/show_bug.cgi?id=1037250>
|
||||
|
||||
Signed-off-by: Petr Písař <ppisar@redhat.com>
|
||||
---
|
||||
src/ker/goodies.c | 6 +++++-
|
||||
1 file changed, 5 insertions(+), 1 deletion(-)
|
||||
|
||||
diff --git a/src/ker/goodies.c b/src/ker/goodies.c
|
||||
index 153a685..039858a 100644
|
||||
--- a/src/ker/goodies.c
|
||||
+++ b/src/ker/goodies.c
|
||||
@@ -845,7 +845,11 @@ scanstr(char *str, char *fmt, Any *r)
|
||||
ar = vsscanf(str, fmt, (va_list) ptrs);
|
||||
#else
|
||||
switch(argn)
|
||||
- { case 0: ar = sscanf(str, fmt); break;
|
||||
+ {
|
||||
+#pragma GCC diagnostic push
|
||||
+#pragma GCC diagnostic ignored "-Wformat-security"
|
||||
+ case 0: ar = sscanf(str, fmt); break;
|
||||
+#pragma GCC diagnostic pop
|
||||
case 1: ar = sscanf(str, fmt, ptrs[0]); break;
|
||||
case 2: ar = sscanf(str, fmt, ptrs[0], ptrs[1]); break;
|
||||
case 3: ar = sscanf(str, fmt, ptrs[0], ptrs[1], ptrs[2]);
|
||||
--
|
||||
1.8.3.1
|
||||
|
||||
|
|
@ -25,8 +25,9 @@ version=$1
|
|||
# files to be removed without the main pl-<version>/ prefix
|
||||
declare -a REMOVE
|
||||
# Bad license: <http://www.swi-prolog.org/bugzilla/show_bug.cgi?id=145>
|
||||
REMOVE[${#REMOVE[*]}]="bench/programs/unify.pl"
|
||||
REMOVE[${#REMOVE[*]}]="bench/programs/simple_analyzer.pl"
|
||||
REMOVE[${#REMOVE[*]}]="bench/unify.pl"
|
||||
REMOVE[${#REMOVE[*]}]="bench/simple_analyzer.pl"
|
||||
REMOVE[${#REMOVE[*]}]="man/txt/dvi2tty/dvi2tty.c"
|
||||
|
||||
# no changes below this line should be needed
|
||||
|
||||
|
|
|
|||
4
sources
4
sources
|
|
@ -1 +1,3 @@
|
|||
SHA512 (swipl-10.0.0_repackaged.tar.gz) = d8f85ceed3ccfcc7b44535d3384bc8fd9ddaff1dce5405382433328e2b873a52a232bab7dfee5adc28882413b03da623565f2dfb312fede13e316545d96c31ee
|
||||
a4462019611caa4f69247c8bf94404a7 userguide.html.tgz
|
||||
1d675bb36895004d9f11c9d2e6f8dc37 swipl-7.2.3_repackaged.tar.gz
|
||||
6316757ec2d3be33cde2a751f0922b94 SWI-Prolog-7.2.3.pdf
|
||||
|
|
|
|||
|
|
@ -1,13 +0,0 @@
|
|||
--- swipl-10.0.0/packages/libedit/libedit/src/CMakeLists.txt.orig 2025-11-30 01:13:23.000000000 -0700
|
||||
+++ swipl-10.0.0/packages/libedit/libedit/src/CMakeLists.txt 2025-12-05 15:40:03.894414328 -0700
|
||||
@@ -116,7 +116,10 @@ check_symbol_exists(unvis "vis.h" HAVE_U
|
||||
check_symbol_exists(endpwent "pwd.h" HAVE_ENDPWENT)
|
||||
check_symbol_exists(getpwuid_r "pwd.h" HAVE_GETPW_R_POSIX)
|
||||
check_symbol_exists(isascii "ctype.h" HAVE_ISASCII)
|
||||
+set(OLD_CMAKE_REQUIRED_DEFINITIONS ${CMAKE_REQUIRED_DEFINITIONS})
|
||||
+list(APPEND CMAKE_REQUIRED_DEFINITIONS -D_GNU_SOURCE)
|
||||
check_symbol_exists(secure_getenv "stdlib.h" HAVE_SECURE_GETENV)
|
||||
+set(CMAKE_REQUIRED_DEFINITIONS ${OLD_CMAKE_REQUIRED_DEFINITIONS})
|
||||
check_symbol_exists(wcsdup "wchar.h" HAVE_WCSDUP)
|
||||
|
||||
include(CheckIncludeFile)
|
||||
|
|
@ -17,10 +17,10 @@ diff --git a/src/swipl.1.in b/src/swipl.1.in
|
|||
index e6eeda5..81c5abb 100644
|
||||
--- a/src/swipl.1.in
|
||||
+++ b/src/swipl.1.in
|
||||
@@ -449,38 +449,6 @@ to find the local installation directory
|
||||
.I ~/.config/swi-prolog/init.pl
|
||||
Personal initialisation files consulted by SWI-Prolog on startup.
|
||||
The exact location depends on the OS.
|
||||
@@ -369,38 +369,6 @@ Personal initialisation files consulted by SWI-Prolog on startup.
|
||||
If both exist
|
||||
.I .swiplrc
|
||||
is used.
|
||||
-.TP
|
||||
-.I @prefix@/lib/@PL@-@PLVERSION@/bin/@PLARCH@/
|
||||
-Location for the executables.
|
||||
|
|
@ -56,7 +56,7 @@ index e6eeda5..81c5abb 100644
|
|||
.SH SEE ALSO
|
||||
.PP
|
||||
The SWI-Prolog web-home at
|
||||
@@ -490,9 +458,6 @@ Jan\ Wielemaker
|
||||
@@ -410,9 +378,6 @@ Jan\ Wielemaker
|
||||
.IR "SWI-Prolog Reference Manual" " at"
|
||||
.I http://www.swi-prolog.org/pldoc/index.html
|
||||
.PP
|
||||
|
|
@ -66,3 +66,6 @@ index e6eeda5..81c5abb 100644
|
|||
William\ F.\ Clocksin & Christopher\ S.\ Mellish,
|
||||
.IR "Programming in Prolog" ,
|
||||
fourth edition, Springer Verlag, Berlin 1994.
|
||||
--
|
||||
2.1.0
|
||||
|
||||
96
swipl-7.2.0-jpl-configure.patch
Normal file
96
swipl-7.2.0-jpl-configure.patch
Normal file
|
|
@ -0,0 +1,96 @@
|
|||
diff -Naur swipl-7.2.0-old/packages/jpl/configure swipl-7.2.0-new/packages/jpl/configure
|
||||
--- swipl-7.2.0-old/packages/jpl/configure 2015-05-18 09:50:50.000000000 +0200
|
||||
+++ swipl-7.2.0-new/packages/jpl/configure 2015-06-05 15:08:26.326780713 +0200
|
||||
@@ -4596,24 +4596,6 @@
|
||||
|
||||
CMDEXT=sh
|
||||
|
||||
-if test "x$JAVALIBS" = "x"; then
|
||||
- case "$PLARCH" in
|
||||
- *darwin*)
|
||||
- JAVALIBS="-Wl,-framework,JavaVM"
|
||||
- ;;
|
||||
- *powerpc-linux*)
|
||||
- JAVALIBS="-ljava -ljvm"
|
||||
- ;;
|
||||
- *win32*|*win64*)
|
||||
- JAVALIBS="-ljvm"
|
||||
- CMDEXT=bat
|
||||
- ;;
|
||||
- *)
|
||||
- JAVALIBS="-ljava -lverify -ljvm"
|
||||
- ;;
|
||||
- esac
|
||||
-fi
|
||||
-
|
||||
case "$PLARCH" in
|
||||
*win32*)
|
||||
JPLLDFLAGS="$JPLLDFLAGS -Wl,--kill-at"
|
||||
@@ -5618,19 +5600,29 @@
|
||||
_JNI_LIBDIRS="lib/amd64"
|
||||
_JNI_LIBSUBDIRS="server"
|
||||
;;
|
||||
+ alpha*)
|
||||
+ _JNI_LIBDIRS="lib/alpha"
|
||||
+ _JNI_LIBSUBDIRS="server"
|
||||
+ ;;
|
||||
arm*)
|
||||
_JNI_LIBDIRS="lib/arm"
|
||||
_JNI_LIBSUBDIRS="server"
|
||||
;;
|
||||
powerpc)
|
||||
- case "$host_os" in
|
||||
- linux*)
|
||||
- _JNI_LIBDIRS="lib/ppc bin"
|
||||
- _JNI_LIBSUBDIRS="server classic"
|
||||
- ;;
|
||||
- *)
|
||||
- _JNI_LIBDIRS=""
|
||||
- esac
|
||||
+ _JNI_LIBDIRS="lib/ppc"
|
||||
+ _JNI_LIBSUBDIRS="server"
|
||||
+ ;;
|
||||
+ powerpc64)
|
||||
+ _JNI_LIBDIRS="lib/ppc64"
|
||||
+ _JNI_LIBSUBDIRS="server"
|
||||
+ ;;
|
||||
+ s390)
|
||||
+ _JNI_LIBDIRS="lib/s390"
|
||||
+ _JNI_LIBSUBDIRS="server"
|
||||
+ ;;
|
||||
+ s390x)
|
||||
+ _JNI_LIBDIRS="lib/s390x"
|
||||
+ _JNI_LIBSUBDIRS="server"
|
||||
;;
|
||||
*)
|
||||
# Fallback option should work on all architectures except
|
||||
@@ -5639,6 +5631,29 @@
|
||||
_JNI_LIBSUBDIRS="server"
|
||||
esac
|
||||
|
||||
+# Set JAVALIBS differently if we're using GCJ
|
||||
+if test "x$JAVALIBS" = "x"; then
|
||||
+ if (echo $_JTOPDIR | grep gcj > /dev/null); then
|
||||
+ JAVALIBS="-ljvm"
|
||||
+ else
|
||||
+ case "$PLARCH" in
|
||||
+ *darwin*)
|
||||
+ JAVALIBS="-Wl,-framework,JavaVM"
|
||||
+ ;;
|
||||
+ *powerpc-linux*)
|
||||
+ JAVALIBS="-ljava -ljvm"
|
||||
+ ;;
|
||||
+ *win32*|*win64*)
|
||||
+ JAVALIBS="-ljvm"
|
||||
+ ;;
|
||||
+ *)
|
||||
+ JAVALIBS="-ljava -lverify -ljvm"
|
||||
+ ;;
|
||||
+ esac
|
||||
+ fi
|
||||
+fi
|
||||
+
|
||||
+
|
||||
for d in $_JNI_LIBDIRS; do
|
||||
for subd in $_JNI_LIBSUBDIRS; do
|
||||
echo "Trying $_JTOPDIR/jre/$d/$subd"
|
||||
72
swipl-7.2.1-Unbundle-jquery1.patch
Normal file
72
swipl-7.2.1-Unbundle-jquery1.patch
Normal file
|
|
@ -0,0 +1,72 @@
|
|||
From 297ec8a0675a0d5e99c7044989890085b125f60e Mon Sep 17 00:00:00 2001
|
||||
From: =?UTF-8?q?Petr=20P=C3=ADsa=C5=99?= <ppisar@redhat.com>
|
||||
Date: Mon, 15 Jun 2015 14:31:34 +0200
|
||||
Subject: [PATCH] Unbundle jquery1
|
||||
MIME-Version: 1.0
|
||||
Content-Type: text/plain; charset=UTF-8
|
||||
Content-Transfer-Encoding: 8bit
|
||||
|
||||
This changes the required file name to jquery-1.min.js. The file is
|
||||
provided by js-jquery1 RPM package.
|
||||
|
||||
Signed-off-by: Petr Písař <ppisar@redhat.com>
|
||||
---
|
||||
packages/http/Makefile.in | 14 ++++++++++++--
|
||||
packages/http/jquery.pl | 2 +-
|
||||
2 files changed, 13 insertions(+), 3 deletions(-)
|
||||
|
||||
diff --git a/packages/http/Makefile.in b/packages/http/Makefile.in
|
||||
index 651efb3..2f41239 100644
|
||||
--- a/packages/http/Makefile.in
|
||||
+++ b/packages/http/Makefile.in
|
||||
@@ -19,7 +19,7 @@ JSONOBJ= json.o
|
||||
WEBSOCKETOBJ= websocket.o
|
||||
SOLIBS= http_stream.@SO@ json.@SO@ websocket.@SO@
|
||||
|
||||
-all: $(SOLIBS)
|
||||
+all: $(SOLIBS) jquery
|
||||
|
||||
http_stream.@SO@: $(STREAMOBJ)
|
||||
$(LD) $(LDSOFLAGS) -o $@ $(STREAMOBJ) @LIBS@ $(LIBPLSO)
|
||||
@@ -31,6 +31,10 @@ websocket.@SO@: $(WEBSOCKETOBJ)
|
||||
http_stream.o: http_error.c http_chunked.c cgi_stream.c stream_range.c \
|
||||
multipart.c
|
||||
|
||||
+jquery:
|
||||
+ rm -f web/js/jquery-1.*.min.js
|
||||
+ ln -s $(datarootdir)/javascript/jquery/1/jquery.min.js web/js/jquery-1.min.js
|
||||
+
|
||||
install: $(LIBPL) $(SOLIBS)
|
||||
mkdir -p $(DESTDIR)$(SOLIBDIR)
|
||||
for f in $(SOLIBS); do \
|
||||
@@ -44,7 +48,13 @@ install: $(LIBPL) $(SOLIBS)
|
||||
$(INSTALL_DATA) README $(DESTDIR)$(PKGPLLIBDIR)/README$(TXTEXT)
|
||||
$(INSTALL_DATA) web/icons/*.png $(DESTDIR)$(PKGPLLIBDIR)/web/icons
|
||||
$(INSTALL_DATA) web/css/*.css $(DESTDIR)$(PKGPLLIBDIR)/web/css
|
||||
- $(INSTALL_DATA) web/js/*.js $(DESTDIR)$(PKGPLLIBDIR)/web/js
|
||||
+ for F in web/js/*.js; do \
|
||||
+ if test -L "$$F"; then \
|
||||
+ cp -d "$$F" $(DESTDIR)$(PKGPLLIBDIR)/web/js ;\
|
||||
+ else \
|
||||
+ $(INSTALL_DATA) web/js/*.js $(DESTDIR)$(PKGPLLIBDIR)/web/js ;\
|
||||
+ fi ;\
|
||||
+ done
|
||||
$(MKPKGINDEX)
|
||||
$(MKINDEX)
|
||||
|
||||
diff --git a/packages/http/jquery.pl b/packages/http/jquery.pl
|
||||
index 4f2585c..94cecc9 100644
|
||||
--- a/packages/http/jquery.pl
|
||||
+++ b/packages/http/jquery.pl
|
||||
@@ -33,7 +33,7 @@
|
||||
:- use_module(library(settings)).
|
||||
:- use_module(library(broadcast)).
|
||||
|
||||
-:- setting(version, atom, '1.11.3.min',
|
||||
+:- setting(version, atom, '1.min',
|
||||
'Version of jquery served by the html resource "jquery"').
|
||||
|
||||
/** <module> Provide JQuery
|
||||
--
|
||||
2.1.0
|
||||
|
||||
|
|
@ -1,4 +1,4 @@
|
|||
From bcf69af8de6512b4ad518af141c3bfd12e58fecc Mon Sep 17 00:00:00 2001
|
||||
From d075de8c9c775b05415241c074fe61cfa2dd3dd2 Mon Sep 17 00:00:00 2001
|
||||
From: =?UTF-8?q?Petr=20P=C3=ADsa=C5=99?= <ppisar@redhat.com>
|
||||
Date: Thu, 25 Jun 2015 10:02:10 +0200
|
||||
Subject: [PATCH] Fix JNI
|
||||
|
|
@ -11,14 +11,14 @@ Prefer JNI per Java Fedora packaging guidelines.
|
|||
Signed-off-by: Petr Písař <ppisar@redhat.com>
|
||||
---
|
||||
packages/jpl/jpl.pl | 5 +++--
|
||||
packages/jpl/src/java/org/jpl7/JPL.java | 4 +---
|
||||
2 files changed, 4 insertions(+), 5 deletions(-)
|
||||
packages/jpl/src/java/org/jpl7/JPL.java | 2 +-
|
||||
2 files changed, 4 insertions(+), 3 deletions(-)
|
||||
|
||||
diff --git a/packages/jpl/jpl.pl b/packages/jpl/jpl.pl
|
||||
index 024dd79..ffeccd9 100644
|
||||
index 448cd9a..35583fe 100644
|
||||
--- a/packages/jpl/jpl.pl
|
||||
+++ b/packages/jpl/jpl.pl
|
||||
@@ -3823,7 +3823,8 @@ prolog:error_message(java_exception(Ex))
|
||||
@@ -3892,7 +3892,8 @@ prolog:error_message(java_exception(Ex)) -->
|
||||
:- multifile user:file_search_path/2.
|
||||
:- dynamic user:file_search_path/2.
|
||||
|
||||
|
|
@ -26,31 +26,30 @@ index 024dd79..ffeccd9 100644
|
|||
+user:file_search_path(jar, 'LIBDIR/swipl-jpl').
|
||||
+user:file_search_path(jni, 'LIBDIR/swipl-jpl').
|
||||
|
||||
classpath(DirOrJar) :-
|
||||
getenv('CLASSPATH', ClassPath),
|
||||
@@ -3992,7 +3993,7 @@ add_jpl_to_classpath :-
|
||||
%% add_search_path(+Var, +Value) is det.
|
||||
%
|
||||
@@ -4036,7 +4037,7 @@ add_jpl_to_classpath :-
|
||||
|
||||
libjpl(File) :-
|
||||
( current_prolog_flag(unix, true)
|
||||
- -> File = foreign(libjpl)
|
||||
+ -> File = jni(libjpl)
|
||||
; File = foreign(jpl) % Windows
|
||||
; File = foreign(jpl)
|
||||
).
|
||||
|
||||
--- a/packages/jpl/src/main/java/org/jpl7/JPL.java
|
||||
+++ b/packages/jpl/src/main/java/org/jpl7/JPL.java
|
||||
@@ -111,9 +111,11 @@ public class JPL {
|
||||
diff --git a/packages/jpl/src/java/org/jpl7/JPL.java b/packages/jpl/src/java/org/jpl7/JPL.java
|
||||
index 18e4014..e76d3fd 100644
|
||||
--- a/packages/jpl/src/java/org/jpl7/JPL.java
|
||||
+++ b/packages/jpl/src/java/org/jpl7/JPL.java
|
||||
@@ -76,7 +76,7 @@ public class JPL {
|
||||
} else if (nativeLibraryDir != null) {
|
||||
System.load((new File(nativeLibraryDir, System.mapLibraryName(nativeLibraryName))).getAbsolutePath());
|
||||
} else {
|
||||
- System.loadLibrary(nativeLibraryName); // as resolved somewhere on
|
||||
- // system property
|
||||
- // 'java.library.path'
|
||||
+ try {
|
||||
+ System.load((new File(LIBDIR, System.mapLibraryName(nativeLibraryName))).getAbsolutePath());
|
||||
+ } catch (UnsatisfiedLinkError e) {
|
||||
+ System.loadLibrary(nativeLibraryName);
|
||||
+ }
|
||||
- System.loadLibrary(nativeLibraryName); // as resolved somewhere on system property 'java.library.path'
|
||||
+ System.load((new File(LIBDIR, System.mapLibraryName(nativeLibraryName))).getAbsolutePath());
|
||||
}
|
||||
}
|
||||
|
||||
--
|
||||
2.1.0
|
||||
|
||||
|
|
@ -0,0 +1,57 @@
|
|||
From 649ccc9e494cfb121cd20fad0c7bdd9121ddcace Mon Sep 17 00:00:00 2001
|
||||
From: Jan Wielemaker <J.Wielemaker@cs.vu.nl>
|
||||
Date: Sun, 16 Jul 2017 17:40:05 +0200
|
||||
Subject: [PATCH] FIXED: sandbox handling of @/2. Vladislav Zorov and Anne
|
||||
Ogborn.
|
||||
MIME-Version: 1.0
|
||||
Content-Type: text/plain; charset=UTF-8
|
||||
Content-Transfer-Encoding: 8bit
|
||||
|
||||
Petr Písař: Ported to 7.2.3.
|
||||
|
||||
Signed-off-by: Petr Písař <ppisar@redhat.com>
|
||||
---
|
||||
library/sandbox.pl | 6 +++++-
|
||||
src/Tests/library/test_sandbox.pl | 2 ++
|
||||
2 files changed, 7 insertions(+), 1 deletion(-)
|
||||
|
||||
diff --git a/library/sandbox.pl b/library/sandbox.pl
|
||||
index f84b8d3..bb970cb 100644
|
||||
--- a/library/sandbox.pl
|
||||
+++ b/library/sandbox.pl
|
||||
@@ -198,8 +198,10 @@ safe(G, M, Parents, _, _) :-
|
||||
fail.
|
||||
|
||||
safe_clauses(G, M, Parents, Safe0, Safe) :-
|
||||
- predicate_property(M:G, interpreted), !,
|
||||
+ predicate_property(M:G, interpreted),
|
||||
def_module(M:G, MD:QG),
|
||||
+ \+ compiled(MD:QG),
|
||||
+ !,
|
||||
findall(Ref-Body, clause(MD:QG, Body, Ref), Bodies),
|
||||
safe_bodies(Bodies, MD, Parents, Safe0, Safe).
|
||||
safe_clauses(G, M, [_|Parents], _, _) :-
|
||||
@@ -210,6 +212,8 @@ safe_clauses(_, _, [G|Parents], _, _) :-
|
||||
throw(error(existence_error(procedure, G),
|
||||
sandbox(G, Parents))).
|
||||
|
||||
+compiled(system:(@(_,_))).
|
||||
+
|
||||
%% safe_bodies(+Bodies, +Module, +Parents, +Safe0, -Safe)
|
||||
%
|
||||
% Verify the safety of bodies. If a clause was compiled with a
|
||||
diff --git a/src/Tests/library/test_sandbox.pl b/src/Tests/library/test_sandbox.pl
|
||||
index 4c737e8..1e14e85 100644
|
||||
--- a/src/Tests/library/test_sandbox.pl
|
||||
+++ b/src/Tests/library/test_sandbox.pl
|
||||
@@ -66,5 +66,7 @@ test(aggregate) :-
|
||||
safe_goal(aggregate(sum(I), X^between(1,X,I), _Count)).
|
||||
test(dcg, error(permission_error(call, sandboxed, open(_,_,_)))) :-
|
||||
safe_goal(my_call(open(_,_,_))).
|
||||
+test(contexr, error(permission_error(call, sandboxed, @(_,_)))) :-
|
||||
+ safe_goal(@(open(_,_,_), user)).
|
||||
|
||||
:- end_tests(sandbox).
|
||||
--
|
||||
2.13.6
|
||||
|
||||
|
|
@ -0,0 +1,35 @@
|
|||
From 4a6b133a4ce3a1d94cc0849cfd38747f0bb71595 Mon Sep 17 00:00:00 2001
|
||||
From: Jan Wielemaker <J.Wielemaker@cs.vu.nl>
|
||||
Date: Wed, 13 Apr 2016 13:24:16 +0200
|
||||
Subject: [PATCH] FIXED: swipl-ld: enlarge buffer for processing the Prolog
|
||||
options. Ollivier Sallou.
|
||||
MIME-Version: 1.0
|
||||
Content-Type: text/plain; charset=UTF-8
|
||||
Content-Transfer-Encoding: 8bit
|
||||
|
||||
Signed-off-by: Petr Písař <ppisar@redhat.com>
|
||||
---
|
||||
src/swipl-ld.c | 4 ++--
|
||||
1 file changed, 2 insertions(+), 2 deletions(-)
|
||||
|
||||
diff --git a/src/swipl-ld.c b/src/swipl-ld.c
|
||||
index 51cb9dd..57dc83f 100644
|
||||
--- a/src/swipl-ld.c
|
||||
+++ b/src/swipl-ld.c
|
||||
@@ -1032,11 +1032,11 @@ getPrologOptions()
|
||||
printf("\teval `%s`\n", cmd);
|
||||
|
||||
if ( (fd = popen(cmd, "r")) )
|
||||
- { char buf[256];
|
||||
+ { char buf[1024];
|
||||
|
||||
while( fgets(buf, sizeof(buf), fd) )
|
||||
{ char name[100];
|
||||
- char value[256];
|
||||
+ char value[1024];
|
||||
char *v;
|
||||
|
||||
if ( sscanf(buf, "%[^=]=%[^;\n]", name, value) == 2 )
|
||||
--
|
||||
2.5.5
|
||||
|
||||
|
|
@ -1,38 +0,0 @@
|
|||
--- a/packages/nlp/CMakeLists.txt
|
||||
+++ b/packages/nlp/CMakeLists.txt
|
||||
@@ -2,7 +2,8 @@ cmake_minimum_required(VERSION 3.5)
|
||||
project(swipl-nlp)
|
||||
|
||||
include("../cmake/PrologPackage.cmake")
|
||||
-add_subdirectory(libstemmer_c)
|
||||
+AC_CHECK_HEADERS(libstemmer.h)
|
||||
+if(HAVE_LIBSTEMMER_H)
|
||||
|
||||
AC_CHECK_FUNCS(wcsdup)
|
||||
|
||||
@@ -27,7 +28,7 @@ swipl_plugin(
|
||||
swipl_plugin(
|
||||
snowball
|
||||
C_SOURCES snowball.c
|
||||
- THREADED C_LIBS libstemmer
|
||||
+ THREADED C_LIBS stemmer
|
||||
PL_LIBS snowball.pl)
|
||||
|
||||
add_custom_target(nlp)
|
||||
@@ -37,4 +38,5 @@ pkg_doc(nlp
|
||||
SECTION
|
||||
snowball.pl isub.pl)
|
||||
|
||||
+endif(HAVE_LIBSTEMMER_H)
|
||||
test_libs(nlp)
|
||||
--- a/packages/nlp/snowball.c
|
||||
+++ b/packages/nlp/snowball.c
|
||||
@@ -35,7 +35,7 @@
|
||||
#include <config.h>
|
||||
#include <SWI-Prolog.h>
|
||||
#include <SWI-Stream.h>
|
||||
-#include "libstemmer_c/include/libstemmer.h"
|
||||
+#include <libstemmer.h>
|
||||
#include <pthread.h>
|
||||
#include <string.h>
|
||||
#include <assert.h>
|
||||
|
|
@ -1,10 +0,0 @@
|
|||
--- swipl-9.2.7/packages/inclpr/CMakeLists.txt.orig 2023-12-11 03:16:08.000000000 -0700
|
||||
+++ swipl-9.2.7/packages/inclpr/CMakeLists.txt 2024-09-18 09:37:46.320423903 -0600
|
||||
@@ -15,6 +15,7 @@ swipl_plugin(inclpr_priv
|
||||
swipl_plugin(inclpr
|
||||
NOINDEX
|
||||
C_SOURCES inclpr.c
|
||||
+ C_LIBS m
|
||||
PL_LIBS inclpr.pl)
|
||||
|
||||
swipl_examples(benchmarks.pl)
|
||||
File diff suppressed because it is too large
Load diff
|
|
@ -1,5 +1,4 @@
|
|||
#include <stdio.h>
|
||||
#include <string.h>
|
||||
#include <SWI-Prolog.h>
|
||||
|
||||
#define MAXLINE 1024
|
||||
|
|
|
|||
|
|
@ -1,11 +1,9 @@
|
|||
.PHONY: run
|
||||
|
||||
CLASSPATH=/usr/lib/java/jpl.jar
|
||||
|
||||
all: run
|
||||
|
||||
run: java
|
||||
cd java/test && javac -cp $(CLASSPATH):.. Test.java && java -cp $(CLASSPATH):.. test.Test test.pl
|
||||
cd java/Test && sh run.sh
|
||||
|
||||
java: $(wildcard /usr/share/doc/pl-jpl*/examples/java)
|
||||
cp -r $< $@
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue