OCaml Forge

Detail: [#1385] W: Field XOCamlbuildExtraArgs is set but matching plugin OCamlbuild is not enabled.

Bugs: Browse | Download .csv | Monitor

[#1385] W: Field XOCamlbuildExtraArgs is set but matching plugin OCamlbuild is not enabled.

Date:
2014-04-16 09:17
Priority:
3
State:
Open
Submitted by:
Christoph Höger (choeger)
Assigned to:
Nobody (None)
Product:
OASIS
Due in version:
None
Resolution:
None
Severity:
minor
Version:
0.4.1
Component:
Plugin OCamlbuild
Operating System:
Linux
 
URL:
Summary:
W: Field XOCamlbuildExtraArgs is set but matching plugin OCamlbuild is not enabled.

Detailed description
I am using the following snippet to emulate corebuilds behaviour:

BuildTools: ocamlbuild

# for corebuild compatibility:
AlphaFeatures: ocamlbuild_more_args
XOCamlbuildExtraArgs: -j 4 -verbose 0 -tag thread -tag debug -tag annot -tag bin_annot -tag short_paths


When I run oasis, I get the warning:

W: Field XOCamlbuildExtraArgs is set but matching plugin OCamlbuild is not enabled.

The actual build process seems to work fine, though.

The same holds for the ocamlbuild example in the master branch on github.

Followup

Message
Date: 2014-04-16 14:21
Sender: Christoph Höger

I don't quite understand that. The option definitely does something here using my 0.4.1 installation (without that option I couldn't use the core* libraries)
Date: 2014-04-16 13:26
Sender: Jacques-Pascal Deplaix

This option appears only in oasis 0.4.2 so I think it's normal.

Attached Files:

Changes:

No Changes Have Been Made to This Item