Commit 30a61f23 authored by Mike Gabriel's avatar Mike Gabriel

debian/*: Update for release of pakcs 3.3.0.

parent 8bfa71f1
Pipeline #1416 passed with stages
in 215 minutes and 15 seconds
pakcs (2:3.3.0-0) unstable; urgency=medium
* Upstream-provided Debian package for pakcs.
See upstream RELNOTES.txt for recent changes.
-- Mike Gabriel <sunweaver@debian.org> Thu, 04 Feb 2021 16:58:23 +0100
pakcs (2:2.1.1-0) unstable; urgency=medium
* Upstream-provided Debian package for pakcs.
......
......@@ -6,15 +6,15 @@ Uploaders:
Mike Gabriel <sunweaver@debian.org>,
Michael Hanus <mh@informatik.uni-kiel.de>,
Build-Depends: cdbs,
debhelper (>= 9),
debhelper (>= 10),
quilt,
curry-frontend (>= 2:1.0.2~),
# curry-libs-source (>= 1.0.3-1~),
# curry-tools-source (>= 1.0.3+dfsg1-1~),
curry-frontend (>= 2:2.0.0~),
# curry-libs-source (>= 3.0.0-1~),
# curry-tools-source (>= 3.3.0-1~),
swi-prolog-nox (>= 7.2.3),
sqlite3,
lockfile-progs,
Standards-Version: 4.1.3
Standards-Version: 4.5.1
Homepage: https://www.informatik.uni-kiel.de/~pakcs/
Vcs-Browser: https://anonscm.debian.org/git/pkg-curry/pakcs.git
Vcs-Git: https://anonscm.debian.org/git/pkg-curry/pakcs.git
......@@ -24,8 +24,7 @@ Architecture: any
Depends:
${shlibs:Depends},
${misc:Depends},
curry-frontend (>= 2:1.0.2~),
libjs-prototype (>= 1.6),
curry-frontend (>= 2:2.0.0~),
swi-prolog-nox (>= 7.2.3),
lockfile-progs,
Recommends:
......
......@@ -6,8 +6,8 @@ include usr/lib/pakcs/
lib usr/lib/pakcs/
Makefile usr/lib/pakcs/
pakcsrc.default usr/lib/pakcs/
README usr/lib/pakcs/
RELNOTES.txt usr/lib/pakcs/
README.md usr/lib/pakcs/
RELNOTES.md usr/lib/pakcs/
RESOURCES.html usr/lib/pakcs/
scripts usr/lib/pakcs/
src usr/lib/pakcs/
......
#####################################################################
# Set up the default variables according to the local installation:
# Directory of the SICStus-Prolog installation, i.e.,
# $SICSTUSDIR/bin/sicstus should be the name of the interpreter executable:
SICSTUSDIR=
# Executable of SWI-Prolog (if you don't have SICStus-Prolog)
# Note that the complete functionality of PAKCS is not available with
# SWI-Prolog and the efficiency is also slower than with SICStus-Prolog.
SWIPROLOG="/usr/bin/swipl"
#####################################################################
......@@ -3,7 +3,7 @@ Author: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
--- a/Makefile
+++ b/Makefile
@@ -92,7 +92,7 @@
@@ -113,7 +113,7 @@
# The front end binary
export CYMAKE = $(BINDIR)/$(CURRYSYSTEM)-frontend
# The cleancurry binary
......@@ -14,17 +14,17 @@ Author: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
MAKELOG=make.log
--- a/scripts/Makefile
+++ b/scripts/Makefile
@@ -4,7 +4,7 @@
@@ -3,7 +3,7 @@
##############################################################################
# the scripts to be installed
BINS = $(BINDIR)/pakcs $(BINDIR)/pakcs-makecgi \
- $(BINDIR)/cleancurry \
+ ../debian/bin/cleancurry \
$(BINDIR)/pakcs-fcypp
-BINS = $(BINDIR)/pakcs $(BINDIR)/cleancurry $(BINDIR)/pakcs-fcypp
+BINS = $(BINDIR)/pakcs ../debian/bin/cleancurry $(BINDIR)/pakcs-fcypp
.PHONY: all
@@ -20,6 +20,14 @@
sed "s|^PAKCSINSTALLDIR=.*$$|PAKCSINSTALLDIR=$(PAKCSINSTALLDIR)|" > $@
sed "s|^COMPILERVERSION=.*$$|COMPILERVERSION=$(CURRYSYSTEM)-$(VERSION)|" > $@
chmod 755 $@
+# the cleancurry script must be run from inside debian/ subfolder
......@@ -38,14 +38,14 @@ Author: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
.PHONY: clean
clean:
rm -f $(BINS)
--- a/testsuite2/test.sh
+++ b/testsuite2/test.sh
@@ -34,7 +34,7 @@
--- a/testsuite/test.sh
+++ b/testsuite/test.sh
@@ -52,7 +52,7 @@
export PATH
# clean up before
-$CURRYBIN/cleancurry
+../debian/bin/cleancurry
-$CURRYBIN/cleancurry -r
+../debian/bin/cleancurry -r
LOGFILE=xxx$$
......@@ -32,7 +32,7 @@ DEB_MAKE_CHECK_TARGET =
DEB_MAKE_BUILD_TARGET = all DISTPKGINSTALL=$(DISTPKGINSTALL) CURRYFRONTEND=$(CURRYFRONTEND) CURRYLIBSDIR=$(CURRYLIBSDIR) CURRYTOOLSDIR=$(CURRYTOOLSDIR) PAKCSINSTALLDIR=$(PAKCSINSTALLDIR)
DEB_MAKE_CLEAN_TARGET = cleanall
DEB_DH_INSTALLCHANGELOGS_ARGS = RELNOTES.txt
DEB_DH_INSTALLCHANGELOGS_ARGS = RELNOTES.md
include /usr/share/cdbs/1/rules/debhelper.mk
include /usr/share/cdbs/1/class/makefile.mk
......@@ -50,9 +50,6 @@ pre-build::
# cd debian/build/curry-tools && tar xf /usr/src/curry-tools-source.tar.xz && cd - 1>/dev/null; \
#fi
# deploy Debianic pakcsinitrc into source tree...
cp debian/pakcsinitrc .
# make sure cleancurry is available in PAKCSHOME/bin, required for test suite
mkdir -p bin/
ln -fs ../scripts/cleancurry.sh bin/cleancurry
......@@ -61,12 +58,10 @@ binary-post-install/pakcs::
chmod a+x debian/pakcs/usr/lib/pakcs/bin/cleancurry
chmod a+x debian/pakcs/usr/lib/pakcs/bin/pakcs
chmod a+x debian/pakcs/usr/lib/pakcs/bin/pakcs-fcypp
chmod a+x debian/pakcs/usr/lib/pakcs/bin/pakcs-makecgi
chmod a+x debian/pakcs/usr/lib/pakcs/scripts/*.sh
chmod a+x debian/pakcs/usr/lib/pakcs/scripts/configure-pakcs
chmod a+x debian/pakcs/usr/lib/pakcs/scripts/makesavedstate
# remove superfluous LICENSE files
# remove superfluous LICENSE file
rm debian/pakcs/usr/lib/pakcs/currytools/LICENSE
clean::
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment