Bug#941039: ITP: ciao-prolog -- Ciao logic programming language and development system

[Salvador Abreu]

Package: wnpp
Severity: wishlist
Owner: Salvador Abreu 

* Package name    : ciao-prolog
  Version : 1.18.0
  Upstream Author : Ciao support 
* URL : http://www.ciao-lang.org/
* License : LGPL
  Programming Lang: C, Prolog
  Description : Ciao logic programming language and development system

Ciao is an open source project developed by the Ciao team and many
contributors. The core Ciao system is provided under the GNU LGPL license.

Ciao is in very active and continuous development since the early 90's by an
international team, coordinated by CLIP group members at UPM and the IMDEA
Software Institute.

Ciao builds on its predecessor, &-Prolog, developed between 1984 and the mid
90's at the University of Texas at Austin, USA, the Microelectronics and
Technology Corporation, and UPM.

Bug#861027: gprolog bug still there despite easy fixes

[Salvador Abreu]

Hi, the problem with Debian gprolog is that it's based on an experimental
branch (modules), which is incomplete and is the cause of the bug.

The fix may be as simple as getting the regular upstream and recompiling it.

I'm a bit confused with the git-based packaging tools, so maybe I should
revert to a plain packaging build... Give me a couple of days to try that
path first.

best,
-salvador

> On 10 Mar 2019, at 22h49, Cedric Ware  wrote:
> 
> 
>   Hello Tony,
> 
> tony mancill (Sunday 2019-03-10):
>> I had a try at this.  I pulled the latest upstream release 1.4.5 from
>> gprolog.org [1], which is dated February of 2019 and it exhibits the
>> same problem reported in this bug report.
> 
> Are you sure?  The official 1.4.5 works for me when compiled from
> source and installed into a directory that is in my PATH.  Remember
> that the toplevel gprolog invokes various binaries, e.g. pl2wam;
> are you sure you didn't have the buggy pl2wam in your PATH?  It has
> bitten me before while testing.
> 
>> Also problematic is that the sources for version 1.4.5 found on
>> gprolog.org differ substantially from the 1.4.5 sources found in Debian.
> 
> As far as I understand it, that's because Debian's "1.4.5" isn't the
> release, it's development code pulled from gprolog's git repository
> a couple of years ago, sometime after 1.4.4 was released.
> 
>   Best regards,
>   Cedric Ware.

Bug#847413: gprolog: Debian changelog uncompressed

[Salvador Abreu]

Hi; I'll take care of it in the next version (which is needed
for other reasons as well...)

thanks for noting,
-s

> On 07 Dec 2016, at 23h26, Aaron M. Ucko  wrote:
> 
> Package: gprolog
> Version: 1.4.5-1
> Severity: serious
> Justification: Policy 12.7
> 
> gprolog now ships its Debian changelog in uncompressed form, a policy
> violation that turns out to reveal a latent bug in apt-listchanges
> (which I'll report in a moment, so I can't cite a number yet).
> 
> Could you please fix that?
> 
> Thanks!
> 
> -- System Information:
> Debian Release: stretch/sid
>  APT prefers testing
>  APT policy: (500, 'testing'), (500, 'stable'), (300, 'unstable')
> Architecture: amd64 (x86_64)
> Foreign Architectures: i386, x32
> 
> Kernel: Linux 4.8.0-2-amd64 (SMP w/4 CPU cores)
> Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
> Shell: /bin/sh linked to /bin/dash
> Init: systemd (via /run/systemd/system)
> 
> Versions of packages gprolog depends on:
> ii  libc6  2.24-7
> 
> gprolog recommends no packages.
> 
> gprolog suggests no packages.
> 
> -- no debconf information



signature.asc
Description: Message signed with OpenPGP using GPGMail

Bug#562394: gprolog: NMU diff for 1.3.0-6.1

[Salvador Abreu]

thanks a lot; I'll use it in the next release.

regards
Salvador

On Mar 25, 2010, at 18:12, jari.aa...@cante.net wrote:

 
 Dear maintainer,
 
 Here is the NMU diff according to DevRef 5.11.1[1][2] for RC bug: #562394.
 See the debian/patches directory for the important fixes. Feel free to
 contact if you have any questions.
 
 Thank you for maintaining the package,
 Jari Aalto
 
 [1] http://www.debian.org/doc/developers-reference/pkgs.html#nmu
 [2] http://dep.debian.net/deps/dep1.html
 
 lsdiff(1) of changes:
 
a/debian/changelog
b/debian/patches/10-latex-fix.patch
b/debian/patches/series
b/debian/source/format
 
 debian/changelog  |   15 
 debian/patches/10-latex-fix.patch |   68 +
 debian/patches/series |1 +
 debian/source/format  |1 +
 4 files changed, 85 insertions(+), 0 deletions(-)
 
 diff --git a/debian/changelog b/debian/changelog
 index c0195bb..d740f48 100644
 --- a/debian/changelog
 +++ b/debian/changelog
 @@ -1,3 +1,18 @@
 +gprolog (1.3.0-6.1) unstable; urgency=low
 +
 +  [Jari Aalto]
 +  * Non-maintainer upload.
 +- Move to packaging format 3.0 (quilt) due to patch.
 +  * debian/patches
 +- (Number 10): Add patch to fix latex error. Patch thanks to Ilya
 +  Barygin bary...@gmail.com
 +  https://launchpad.net/ubuntu/+source/gprolog/1.3.0-6ubuntu1
 +  (RC bug FTBFS serious; Closes: #562394).
 +  * debian/source/format
 +- New file.
 +
 + -- Jari Aalto jari.aa...@cante.net  Wed, 17 Mar 2010 00:53:43 +0200
 +
 gprolog (1.3.0-6) unstable; urgency=low
 
   * revert to regular gcc: 4.2 (closes: #463289)
 diff --git a/debian/patches/10-latex-fix.patch 
 b/debian/patches/10-latex-fix.patch
 new file mode 100644
 index 000..1215e0d
 --- /dev/null
 +++ b/debian/patches/10-latex-fix.patch
 @@ -0,0 +1,68 @@
 +From 2e6e123c3289f55370072c7fe3f9e11402fe0006 Mon Sep 17 00:00:00 2001
 +From: Jari Aalto jari.aa...@cante.net
 +Date: Wed, 17 Mar 2010 00:55:58 +0200
 +Subject: [PATCH] rename 'pdf' variable to 'pdfgprolog' by Ilya Barygin 
 bary...@gmail.com
 +Organization: Private
 +Content-Type: text/plain; charset=utf-8
 +Content-Transfer-Encoding: 8bit
 +
 +Signed-off-by: Jari Aalto jari.aa...@cante.net
 +---
 + doc/macros.tex   |4 ++--
 + doc/packages.tex |   10 +-
 + 2 files changed, 7 insertions(+), 7 deletions(-)
 +
 +diff --git a/doc/macros.tex b/doc/macros.tex
 +index ebf774f..3fa342d 100644
 +--- a/doc/macros.tex
  b/doc/macros.tex
 +@@ -81,7 +81,7 @@
 + 
 + % Url in LaTeX output
 + 
 +-\ifpdf
 ++\ifpdfgprolog
 + \newcommand{\Tilde}[1]{~#1}
 + \newcommand{\MyUrl}[2]{\href{#1}{#2}}
 + \newcommand{\MyUrlHtml}[2]{\href{#1}{#2}}
 +@@ -237,7 +237,7 @@
 + 
 + 
 +% |textbf does not seem to work with hyperref (pdflatex)... remove it
 +-\ifpdf
 ++\ifpdfgprolog
 + \newcommand{\IndexBold}[1]{\index{#1}}
 + \else
 + \newcommand{\IndexBold}[1]{\index{#1|textbf}}
 +diff --git a/doc/packages.tex b/doc/packages.tex
 +index 749cd32..96c01f1 100644
 +--- a/doc/packages.tex
  b/doc/packages.tex
 +@@ -1,11 +1,11 @@
 +-\newif\ifpdf
 ++\newif\ifpdfgprolog
 + \ifx\pdfoutput\undefined
 +-   \pdffalse % we are not running PDFLaTeX
 ++   \pdfgprologfalse % we are not running PDFLaTeX
 + \else 
 +\ifnum\pdfoutput=0
 +-  \pdffalse  % we are not running PDFLaTeX
 ++  \pdfgprologfalse  % we are not running PDFLaTeX
 +\else
 +-  \pdfoutput=1 \pdftrue  % we are running PDFLaTeX
 ++  \pdfoutput=1 \pdfgprologtrue  % we are running PDFLaTeX
 +\fi
 + \fi
 + 
 +@@ -19,7 +19,7 @@
 + \usepackage{makeidx}
 + \usepackage{ifthen}
 + \usepackage{fancyhdr}
 +-\ifpdf
 ++\ifpdfgprolog
 + \usepackage[pdftex]{graphicx}
 + \usepackage[pdftex=true]{hyperref}
 + \hypersetup{%
 +-- 
 +1.7.0
 +
 diff --git a/debian/patches/series b/debian/patches/series
 new file mode 100644
 index 000..4407379
 --- /dev/null
 +++ b/debian/patches/series
 @@ -0,0 +1 @@
 +10-latex-fix.patch
 diff --git a/debian/source/format b/debian/source/format
 new file mode 100644
 index 000..163aaf8
 --- /dev/null
 +++ b/debian/source/format
 @@ -0,0 +1 @@
 +3.0 (quilt)

--
Salvador Abreu
s...@debian.org





--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#356406: gprolog segfault on division with amd64

[Salvador Abreu]

1.2.18-12 is old already and there are problems compiling 1.2.18-16  
on amd64 machines (gcc 3.3.5 gets internal errors).


Can you make do with the x86 binaries, while I look into finding an  
amd64 machine to try things on?


On Mar 11, 2006, at 21:14 , carbonated beverage wrote:


Package: gprolog
Version: 1.2.18-12

Any time a division is done in gprolog, I get a segfault with  
sprintf()

at the top of the backtrace, and what looks like tons of NULLs in the
stacktrace.



Regards
--
Salvador Abreu
Departamento de Informática
Universidade de Évora



PGP.sig
Description: This is a digitally signed message part

Bug#323528: FTBFS: Invalid lvalues in assignments

[Salvador Abreu]

Hello Matt,

On Tue, 2005-08-16 at 17:12 -0700, Matt Kraai wrote:
 gprolog fails to build because it contains invalid lvalues in some
 assignments:
 
  gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char -Wall -Wall -DDEBIAN' 
  engine.c
  `-mcpu=' is deprecated. Use `-mtune=' or '-march=' instead.
  engine.c: In function 'Call_Prolog':
  engine.c:318: error: invalid lvalue in assignment
  engine.c:331: error: invalid lvalue in assignment

gprolog relies on cast lvalues in many places, this is not a problem for
gcc 3.3 but seems to be for more recent versions of GCC.

I'll have 1.2.18-14 out anytime now, which depends on gcc-3.3 instead of
gcc (= 3.3).  This is a stopgap measure while I'm doing 1.2.19.

Salvador



signature.asc
Description: This is a digitally signed message part

Bug#272829: gprolog_1.2.18-12_mipsel: FTBFS: undefined reference to `Asm_Start'

[Salvador Abreu]

Hi Anibal,

Maybe fact, I should remove mips from the Architecture: line for the
gprolog package, as the code generator back end is for MIPS on IRIX; I
don't really have the resources to go chasing after a MIPS machine to
check whether the IRIX code works for Linux/gcc/gas.

Maybe you could give me a hand?

Regards,
Salvador



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]