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

Afif Elghraoui afif at debian.org
Thu Mar 10 04:48:46 UTC 2016


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Hi, Marko,

On الأحد  6 آذار 2016 14:53, Marko Dimjašević wrote:
> 
> On Fri, 2016-02-26 at 17:42 -0800, Afif Elghraoui wrote:
>> Something like the following:
>> 
[...]
> Thank you Afif for this!
> 

No problem.

> I am not sure what is the cause (maybe incorrect paths in
> debian/rules), but when I try to build with gbp like this:
> 
[...]
> 
> 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.
> 
> 

The second tarball gets extracted to outputcheck/ (directory name is
based on the name of the subcomponent according to the 3.0 format). It
looks like your code expects it in a subdirectory of utils, so I would
put a symlink there as part of the build process or adjust the script
to find it in outputcheck/ rather than utils/.

I believe you can also get rid of the code to extract the outputcheck
tarball in the first place. The conventions for the package format
should take care of preparing the source tree.

regards
Afif

- -- 
Afif Elghraoui | عفيف الغراوي
http://afif.ghraoui.name
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJW4PyuAAoJEM6uatOv6Cb7szIP/2YoP/Kf8pd5jHl4H3ZGK0hU
tBvV0kDPAhO0u1AoPJa9urzwTCLgJGmiVWCkqP12beeamG+rGdEzRl+ADzL9gY6J
+KoqTShxNfi6rCJEAb4a744c2mNo73PBq2SCQNwc4mkeIYQFpNz05+wdEiO0pvwt
jvgr/amOWjVRIvSjr5ZY0TBxQoF/mlPQ7NGFLqgDZsWCK0Ly6ZhDMnhwarA4KJId
HJWz5dUCMUk5PS2FCyQUM0S6bnxcNImV+saYgRigVqhIQLPOoRagm/bWQ2lN7Jkr
/Qc9N1pww8zY+95NfwsJquLHMn6AaPiNMtu7eg0Y93LKUVLmH0Wd4PenBUxXlZmP
bd7328dB56cVq5SCkMxC7Qad+OXpzHkJczJ9bhapI8Y/dIj7f1HVADSSGUBhEjTT
AQtqFDEQfqcdSOeHxua4NTjIIANSs2FlO/vJ5G3caaDzcsfHCtEaZMWrUU7G5r1m
nO0oD9zpVJsvgEzMcwyjywwjMWthFANOn4k6zE34pjxNBhpZg2VApswMn5TRz/Tm
kGcHtorrDqvxZSTatx9uTX3I6PLm8UTiJFc9pS7u/SToQyFF9TzSSQLCGNfZ2sur
yIXzP+X6E4QT6QVUGEkCi3FXB4tgHA5kwkhdZqa/IetIp+XRND0yHnXUYV3gdCRa
004f04xmF3BVe2N47rRY
=dbRs
-----END PGP SIGNATURE-----



More information about the debian-science-maintainers mailing list