[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: have headers & libs, but cannot configure/make
From: |
John W. Eaton |
Subject: |
Re: have headers & libs, but cannot configure/make |
Date: |
Fri, 6 Jan 2017 11:09:05 -0500 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.4.0 |
On 01/06/2017 10:45 AM, Mike Miller wrote:
OCTAVE_CHECK_LIB already uses pkg-config (since July 2016) and already
takes care of all of what you mention. I even added an argument to allow
the name of the library (what Octave calls the library) to differ from
the name of the .pc file (see e.g. portaudio).
How about the attached change?
I think it will work, but OCTAVE_CHECK_LIB doesn't do exactly the right
thing for required libraries yet. It will display
--with-pcre-includedir=DIR
look for PCRE include files in DIR
--with-pcre-libdir=DIR look for PCRE libraries in DIR
--without-pcre don't use PCRE library
in the output of configure --help, but --without-pcre isn't allowed.
For required libraries, we could use "--with-LIB=<lib> use LIB library
<lib>" instead.
If pcre is disabled or missing, you'll get the following messages:
configure: WARNING: --without-pcre specified. Functions or features
that depend on PCRE will be disabled.
configure: error: to build Octave, you must have the PCRE library and
header files installed
For required libraries, we should probably make the warning an error and
not have to check that outside of the macro.
If you agree, I can fix this.
jwe
diffs.txt
Description: Text document
- Re: have headers & libs, but cannot configure/make, Chris Roat, 2017/01/03
- Re: have headers & libs, but cannot configure/make, Mike Miller, 2017/01/05
- Re: Re: have headers & libs, but cannot configure/make, John W. Eaton, 2017/01/06
- Re: Re: have headers & libs, but cannot configure/make, Mike Miller, 2017/01/06
- Re: have headers & libs, but cannot configure/make, John W. Eaton, 2017/01/06
- Re: have headers & libs, but cannot configure/make, Mike Miller, 2017/01/06
- Re: have headers & libs, but cannot configure/make, John W. Eaton, 2017/01/06
- Re: have headers & libs, but cannot configure/make,
John W. Eaton <=
- Re: have headers & libs, but cannot configure/make, Mike Miller, 2017/01/06
- Re: have headers & libs, but cannot configure/make, John W. Eaton, 2017/01/06
- Re: have headers & libs, but cannot configure/make, Mike Miller, 2017/01/06
Re: Re: have headers & libs, but cannot configure/make, John W. Eaton, 2017/01/06