OCaml Forge

Detail: [#1004] Check setup.data at each run to see if environment has changed

Feature Requests: Browse | Download .csv | Monitor

[#1004] Check setup.data at each run to see if environment has changed

Date:
2011-06-29 09:09
Priority:
3
State:
Open
Submitted by:
Sylvain Le Gall (gildor-admin)
Assigned to:
Sylvain Le Gall (gildor-admin)
Resolution:
None
Due in version:
0.4.9
Product:
OASIS
Component:
General
Operating System:
None
 
Summary:
Check setup.data at each run to see if environment has changed

Detailed description
Typically when going from one computer to another, the environment can change. E.g. there could be missing libraries or new version of ocaml. We should check that the setup.data is still ok at every run:
* check presence of libraries
* check ocaml version

Followup

Message
Date: 2011-07-05 15:09
Sender: Sylvain Le Gall

I plan to use "light steps":
- run once ocamlc -config (if you build anything the compilation cost is >> than this)
- check presence of directory and maybe checksum of META file (this file is very small and contains version number).
Date: 2011-07-05 15:04
Sender: ygrek

But maybe not at every run? - it can become too costly. This is exactly why the separate configure step exists - it is a user's responsibility to rerun configure when environment changes.

Attached Files:

Changes:

Field Old Value Date By
Due in version0.3.02016-09-03 21:22gildor-admin