View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0003792 | GNUnet | build process | public | 2015-05-19 13:19 | 2018-06-07 00:48 |
| Reporter | Bart Polot | Assigned To | Christian Grothoff | ||
| Priority | normal | Severity | tweak | Reproducibility | have not tried |
| Status | closed | Resolution | unable to reproduce | ||
| Product Version | Git master | ||||
| Fixed in Version | 0.11.0pre66 | ||||
| Summary | 0003792: GLPK is not *really* needed | ||||
| Description | Doing configure once without GLPK fails. Doing it again immediately afterwards just shows a WARNING and succeeds. | ||||
| Additional Information | [bart@voyager ~]$ pacman -Ss glpk extra/glpk 4.55-1 GNU Linear Programming Kit : solve LP, MIP and other problems. [bart@voyager ~]$ pacman -Qs glpk [bart@voyager ~]$ # GLPK NOT INSTALLED [...] [bart@voyager ~/g] (master *% u+1)$ make -j 5 CDPATH="${ZSH_VERSION+.}:" && cd . && /bin/sh /home/bart/g/missing autoconf cd . && /bin/sh /home/bart/g/missing automake-1.15 --gnu /bin/sh ./config.status --recheck running CONFIG_SHELL=/bin/sh /bin/sh ./configure --prefix=/tmp/gnunet/ --enable-logging=verbose --enable-benchmarks --enable-expensivetests --enable-experimental CFLAGS=-O0 -g -Wall --no-create --no-recursion checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c [...] checking for idna.h... yes checking for stringprep_check_version in -lidn... yes yes checking glpk.h usability... no checking glpk.h presence... yes configure: WARNING: glpk.h: present but cannot be compiled configure: WARNING: glpk.h: check for missing prerequisite headers? configure: WARNING: glpk.h: see the Autoconf documentation configure: WARNING: glpk.h: section "Present But Cannot Be Compiled" configure: WARNING: glpk.h: proceeding with the compiler's result configure: WARNING: ## --------------------------------- ## configure: WARNING: ## Report this to bug-gnunet@gnu.org ## configure: WARNING: ## --------------------------------- ## checking for glpk.h... no checking for glp_init_env in -lglpk... no checking for glp_iocp.presolve... sed: can't read conftest.c: No such file or directory no configure: WARNING: GNUnet requires GLPK >= 4.32 checking nss.h usability... yes checking nss.h presence... yes checking for nss.h... yes checking for kvm_open in -lkvm... no checking for kstat_open in -lkstat... no checking for libextractor... --with-extractor not specified checking extractor.h usability... no checking extractor.h presence... yes configure: WARNING: extractor.h: present but cannot be compiled configure: WARNING: extractor.h: check for missing prerequisite headers? configure: WARNING: extractor.h: see the Autoconf documentation configure: WARNING: extractor.h: section "Present But Cannot Be Compiled" configure: WARNING: extractor.h: proceeding with the compiler's result configure: WARNING: ## --------------------------------- ## configure: WARNING: ## Report this to bug-gnunet@gnu.org ## configure: WARNING: ## --------------------------------- ## checking for extractor.h... no configure: error: GNUnet requires libextractor Makefile:502: recipe for target 'config.status' failed make: *** [config.status] Error 1 [bart@voyager ~/g] (master *% u+1)$ make -j 5 /bin/sh ./config.status --recheck running CONFIG_SHELL=/bin/sh /bin/sh ./configure --prefix=/tmp/gnunet/ --enable-logging=verbose --enable-benchmarks --enable-expensivetests --enable-experimental CFLAGS=-O0 -g -Wall --no-create --no-recursion checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c [...] checking for idna.h... yes checking for stringprep_check_version in -lidn... yes yes checking glpk.h usability... no checking glpk.h presence... no checking for glpk.h... no checking for glp_init_env in -lglpk... no checking for glp_iocp.presolve... no configure: WARNING: GNUnet requires GLPK >= 4.32 checking nss.h usability... yes checking nss.h presence... yes checking for nss.h... yes [...] configure: creating ./config.status configure: WARNING: unrecognized options: --with-gnunet configure: NOTICE: GnuTLS has no DANE support, DANE validation will not be possible configure: NOTICE: Database support is set to MySQL: true, SQLite: true, Postgres: true configure: NOTICE: --with-sudo not specified and not running as 'root', will not install GNS NSS library configure: ******************************************** Please make sure NOW that you have created a user and group 'gnunet' and additionally a group 'gnunetdns': addgroup gnunetdns adduser gnunet | ||||
| Tags | No tags attached. | ||||
|
|
Well, the GLPK warning is not the issue here (GLPK is optional, the warning might be missleading as it is supposed to express that if you want that, you need at least >= 4.32). The reason why your first configure-run failed is that extractor.h didn't work. Oddly enough the second time that didn't matter. Strange. Did you change anything with regards to LE in between? |
|
|
Oops! I just saw many GLPK warnings and assumed it failed because of that. I literally just did <up> <enter> when I saw the first build fail (since sometimes parallel *compilation* fails, bug already here in mantis) then I realised that it had failed during configure, not make; so I let it run to see what the error was... and it succeeded. |
|
|
BTW: first run: checking glpk.h presence... yes second run: checking glpk.h presence... no I also did not do anything regading GLPK, I checked the installation *after* both runs. |
|
|
Ok, that's just very strange then. No clue. |
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2015-05-19 13:19 | Bart Polot | New Issue | |
| 2015-05-20 09:06 | Christian Grothoff | Note Added: 0009133 | |
| 2015-05-20 09:06 | Christian Grothoff | Assigned To | => Bart Polot |
| 2015-05-20 09:06 | Christian Grothoff | Status | new => feedback |
| 2015-05-20 10:52 | Bart Polot | Note Added: 0009134 | |
| 2015-05-20 10:52 | Bart Polot | Status | feedback => assigned |
| 2015-05-20 10:55 | Bart Polot | Note Added: 0009135 | |
| 2015-05-20 11:21 | Christian Grothoff | Note Added: 0009136 | |
| 2015-05-20 11:21 | Christian Grothoff | Assigned To | Bart Polot => |
| 2015-05-20 11:21 | Christian Grothoff | Severity | minor => tweak |
| 2015-05-20 11:21 | Christian Grothoff | Status | assigned => acknowledged |
| 2015-05-20 11:21 | Christian Grothoff | Target Version | 0.11.0pre66 => |
| 2018-06-07 00:48 | Christian Grothoff | Assigned To | => Christian Grothoff |
| 2018-06-07 00:48 | Christian Grothoff | Status | acknowledged => closed |
| 2018-06-07 00:48 | Christian Grothoff | Resolution | open => unable to reproduce |
| 2018-06-07 00:48 | Christian Grothoff | Fixed in Version | => 0.11.0pre66 |
