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

Re: [creduce-dev] libedit-dev not listed in INSTALL file



Julien Cretin <creduce@ia0.eu> writes:

> I may be mistaken, be it appears to me that libedit-dev is a dependency to
> build creduce, but it is not listed in the list of Ubuntu package in the
> INSTALL file at the root of the creduce git repository.
>
> Should it be listed here?

I've added a comment about this to the INSTALL file.  Can you check the comment
to make sure it's adequate?

https://github.com/csmith-project/creduce/commit/1be44f0a55b0d59601230875a3aad083af3150cb

Thanks!

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX