OCaml Forge

Detail: [#863] oasis: some changes only take effect if setup.data is removed, even if configure is rerun

Bugs: Browse | Download .csv | Monitor

[#863] oasis: some changes only take effect if setup.data is removed, even if configure is rerun

Date:
2011-01-06 10:53
Priority:
3
State:
Open
Submitted by:
Török Edwin (edwin)
Assigned to:
Sylvain Le Gall (gildor-admin)
Product:
OASIS
Due in version:
None
Resolution:
None
Severity:
None
Version:
0.2.0
Component:
None
Operating System:
Linux
 
URL:
Summary:
oasis: some changes only take effect if setup.data is removed, even if configure is rerun

Detailed description
If I set 'profile', or 'debug' environment variables, they don't take effect even if I rerun configure.
Only removing setup.data (or make distclean) followed by a configure rerun changes it.

I think there are more things that configure caches inappropriately, for example ocamlfind results
(package presence and version).

Here is a testcase for the env vars:
OASISFormat: 0.2
Name: configure testcase
Version: 0.1
Synopsis: bug testcase
Plugins: DevFiles (0.2), StdFiles (0.2)
License: GPL-2.0
Authors: Török Edwin
BuildTools: ocamlbuild, make

$ oasis setup
$ ./configure
...
Compile with ocaml debug flag on.: ............. true
...
$ export debug=false; ./configure
...

Compile with ocaml debug flag on.: ............. true
...
$ rm setup.data; ./configure
...
Compile with ocaml debug flag on.: ............. false
....

Followup

No Followups Have Been Posted

Attached Files:

Changes:

Field Old Value Date By
assigned_tonone2011-01-31 09:37gildor-admin