Remove references to various swi-prolog-* packages that don't longer exist in Debian and to swiprolog binary
Євгеній Мещеряков
11 years ago
| 12 | 12 |
* Re-add xpce manpages to swi-prolog-x
|
| 13 | 13 |
* Build-depend on libarchive-dev and install package 'archive' into
|
| 14 | 14 |
swi-prolog-nox
|
| 15 | |
|
| 16 | |
-- Євгеній Мещеряков <eugen@debian.org> Wed, 03 Oct 2012 01:34:08 +0200
|
|
15 |
* Remove references to various swi-prolog-* packages that don't longer exist
|
|
16 |
in Debian and to swiprolog binary
|
|
17 |
|
|
18 |
-- Євгеній Мещеряков <eugen@debian.org> Wed, 03 Oct 2012 01:51:29 +0200
|
| 17 | 19 |
|
| 18 | 20 |
swi-prolog (6.2.2-4) experimental; urgency=low
|
| 19 | 21 |
|
| 46 | 46 |
Package: swi-prolog-nox
|
| 47 | 47 |
Architecture: any
|
| 48 | 48 |
Depends: ${shlibs:Depends}, ${misc:Depends}, libgmp3-dev, libreadline-dev, libncurses5-dev
|
| 49 | |
Replaces: swi-prolog-clib, swi-prolog-http, swi-prolog-semweb, swi-prolog-sgml, swi-prolog-table
|
| 50 | 49 |
Breaks: swi-prolog (<< 5.8.2-1)
|
| 51 | 50 |
Suggests: swi-prolog-doc, prolog-el
|
| 52 | 51 |
Description: ISO/Edinburgh-style Prolog interpreter (without X support)
|
|
| 69 | 68 |
Package: swi-prolog-x
|
| 70 | 69 |
Architecture: any
|
| 71 | 70 |
Depends: ${shlibs:Depends}, swi-prolog-nox (= ${binary:Version}), ${misc:Depends}
|
| 72 | |
Replaces: swi-prolog-xpce
|
| 73 | 71 |
Description: User interface library for SWI-Prolog (with X support)
|
| 74 | 72 |
SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a
|
| 75 | 73 |
rich set of built-in predicates. It offers a fast, robust and small
|
| 2 | 2 |
PACKAGE=swi-prolog
|
| 3 | 3 |
|
| 4 | 4 |
if [ "$1" = "configure" ]; then
|
| 5 | |
# Name of the binary changed
|
| 6 | |
if [ -x /usr/bin/swiprolog ]; then
|
| 7 | |
update-alternatives --remove prolog /usr/bin/swiprolog
|
| 8 | |
fi
|
| 9 | |
|
| 10 | 5 |
update-alternatives --install /usr/bin/prolog prolog /usr/bin/swipl 10 \
|
| 11 | 6 |
--slave /usr/share/man/man1/prolog.1.gz prolog.1.gz \
|
| 12 | 7 |
/usr/share/man/man1/swipl.1.gz
|