Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover
Marko Dimjašević
marko at dimjasevic.net
Sun Mar 6 22:53:42 UTC 2016
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>
More information about the debian-science-maintainers
mailing list