Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover

[Marko Dimjašević]

Hi all,

On Fri, 2016-02-26 at 17:42 -0800, Afif Elghraoui wrote:
> That's alright, you can go ahead. I would just add that the source for
> the second tarball be documented somewhere or configured to be
> downloaded in debian/watch with a second uscan line. Something like
> the
> following:
> 
> version=4
> 
> opts="dversionmangle=s/\+dfsg\d*$//" \
>     https://github.com/stp/stp/tags \
>     (?:.*/)?v?(\d[\d\.]*)\.tar\.gz \
>     debian
> 
> opts="dversionmangle=s/\+dfsg\d*$//,component=outputcheck" \
>     https://github.com/stp/OutputCheck/tags \
>     (?:.*/)?v?(\d[\d\.]*)\.tar\.gz \
>     ignore uupdate

Thank you Afif for this!

I am not sure what is the cause (maybe incorrect paths in debian/rules),
but when I try to build with gbp like this:

$ BUILDER=pbuilder gbp buildpackage --git-pbuilder -us -uc -j8

it fails because it can't find a helper binary I build along the way
(needed to execute tests):

lit.py: lit.cfg:117: fatal: Cannot find OutputCheck
executable: /build/stp-2.1.2+dfsg/utils/OutputCheck/bin/OutputCheck

However, it does work in a plain pbuilder instance.


Anyhow, I pushed to the repo your version of d/watch to a separate
branch called 'mut-test':

https://anonscm.debian.org/git/debian-science/packages/stp.git/log/?h=mut-test

You can confirm for yourself it fails by e.g. switching to the mut-test
branch and running this:

$ BUILDER=pbuilder gbp buildpackage --git-ignore-branch --git-pbuilder
-us -uc -j8


Any clue what went wrong?

I looked at the tests/query-files/lit.cfg config file/script in
question, but I don't see why it would fail.


-- 
Regards,
Marko Dimjašević <marko at cs.utah.edu> .   University of Utah
https://dimjasevic.net/marko         . PGP key ID: 1503F0AA
Learn email self-defense!  https://emailselfdefense.fsf.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20160306/e2efb3ea/attachment-0001.sig>