Use triggers to update INDEX.pl
Also remove this file in swi-prolog-nox's prerm. It is still installed
though.
Євгеній Мещеряков
11 years ago
| 1 | 1 |
|
| 2 | 2 |
PACKAGE=swi-prolog
|
| 3 | 3 |
|
| 4 | |
# Name of the binary changed
|
| 5 | |
if [ -x /usr/bin/swiprolog ]; then
|
| 6 | |
update-alternatives --remove prolog /usr/bin/swiprolog
|
|
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 |
update-alternatives --install /usr/bin/prolog prolog /usr/bin/swipl 10 \
|
|
11 |
--slave /usr/share/man/man1/prolog.1.gz prolog.1.gz \
|
|
12 |
/usr/share/man/man1/swipl.1.gz
|
| 7 | 13 |
fi
|
| 8 | |
|
| 9 | |
update-alternatives --install /usr/bin/prolog prolog /usr/bin/swipl 10 \
|
| 10 | |
--slave /usr/share/man/man1/prolog.1.gz prolog.1.gz \
|
| 11 | |
/usr/share/man/man1/swipl.1.gz
|
| 12 | 14 |
|
| 13 | 15 |
# Update library index
|
| 14 | 16 |
rm -f /usr/lib/swi-prolog/library/INDEX.pl
|
| 5 | 5 |
update-alternatives --remove prolog /usr/bin/swipl
|
| 6 | 6 |
fi
|
| 7 | 7 |
|
|
8 |
rm -f /usr/lib/swi-prolog/library/INDEX.pl
|
|
9 |
|
| 8 | 10 |
#DEBHELPER#
|
|
0 |
interest /usr/lib/swi-prolog/library
|
debian/swi-prolog-odbc.postinst
less
more
| 0 | |
#!/bin/sh -e
|
| 1 | |
|
| 2 | |
PACKAGE=swi-prolog-odbc
|
| 3 | |
|
| 4 | |
# Update library index
|
| 5 | |
rm -f /usr/lib/swi-prolog/library/INDEX.pl
|
| 6 | |
echo "make_library_index('/usr/lib/swi-prolog/library/')." | swipl >/dev/null 2>&1
|
| 7 | |
|
| 8 | |
#DEBHELPER#
|
| 0 | |
#!/bin/sh -e
|
| 1 | |
|
| 2 | |
PACKAGE=swi-prolog-odbc
|
| 3 | |
|
| 4 | |
# Update library index if SWI prolog is still installed
|
| 5 | |
if [ -x /usr/bin/swipl ]
|
| 6 | |
then
|
| 7 | |
rm -f /usr/lib/swi-prolog/library/INDEX.pl
|
| 8 | |
echo "make_library_index('/usr/lib/swi-prolog/library/')." | swipl >/dev/null 2>&1
|
| 9 | |
fi
|
| 10 | |
|
| 11 | |
#DEBHELPER#
|