Opened 13 years ago

Closed 13 years ago

#269 closed bug (wontfix)

bison always searched, but never used

Reported by: dreyer Owned by: somebody
Priority: minor Milestone: 3-1-2 and higher
Component: dontKnow Version: 3-1-1
Keywords: Cc:

Description

As pointed out in http://trac.sagemath.org/sage_trac/ticket/9733#comment:17 the --without-bison option is not obeyed by Singular's and dyn_modules' ./configure: they trigger a search for bison anyway.

Also, the result of the search is not utilized:

BISON = bison is hardcoded (instead of using @BISON@) in kernel/Makefile.in, Singular/Makefile.in and dyn_modules/modgen/Makefile.in.

Change History (2)

comment:1 Changed 13 years ago by dreyer

Summary: bison always searched, butbison always searched, but never used

comment:2 Changed 13 years ago by hannes

Resolution: wontfix
Status: newclosed

according to ./configure --help: --without-bison is not a valid option. Anyway: bison is not used in the normal build process.

Note: See TracTickets for help on using tickets.