Home

My Page

Projects

Code Snippets

OASIS

Summary

Activity

Tracker

Lists

Tasks

Docs

News

Files

Hudson

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)
Due in version: None	Product: OASIS
Operating System: Linux	Component: None
Version: v0.2.0	Severity: None
Resolution: None
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_to none 2011-01-31 09:37 gildor-admin