[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



control: tags -1 moreinfo

Hi,
On Wed, 9 Mar 2016 20:48:46 -0800 Afif Elghraoui <afif@debian.org> wrote:
> -----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
> 

any news on this?

Gianfranco

Attachment: signature.asc
Description: OpenPGP digital signature


Reply to: