Actions
Bug #175
closed
RK
PC
Passing --disable-prelude to configure seems to instead enable prelude
Bug #175:
Passing --disable-prelude to configure seems to instead enable prelude
Affected Versions:
Effort:
Difficulty:
Label:
Description
Tested on 0.9.1 and latest git (3005297af2e1b4a8355e3f27e43541f6a70aa314)
The configure script seems to check for prelude if you pass --disable-prelude:
$ ./configure --disable-prelude checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes [....] checking for pthread_create in -lpthread... yes checking for libprelude-config... no checking for libprelude - version >= 0.9.9... no *** The libprelude-config script installed by LIBPRELUDE could not be found *** If LIBPRELUDE was installed in PREFIX, make sure PREFIX/bin is in *** your path, or set the LIBPRELUDE_CONFIG environment variable to the *** full path to libprelude-config. configure: error: Cannot find libprelude: Is libprelude-config in the path?
Files
Actions