0004720: Options.ext_dll is always "so"

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004720

OCaml

OCamlbuild (the tool)

public

2009-02-19 10:58

2011-05-29 12:20

Reporter

matt

Assigned To

ertai

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

3.11.0

Target Version

Fixed in Version

3.11.2+dev

Summary

0004720: Options.ext_dll is always "so"

Description

This leads to unnecessary rebuild (targets that are producing dlls).

Workaround:

Add

let () = if Sys.os_type = "Win32" then Options.ext_dll := "dll"

in myocamlbuild.ml

Additional Information

Patch attempt. A cleaner solution would certainly to read ext_dll from a file produced by ./configure

--- a/ocamlbuild/options.ml
+++ b/ocamlbuild/options.ml
@@ -78,7 +78,7 @@ let show_documentation = ref false
let recursive = ref false
let ext_lib = ref "a"
let ext_obj = ref "o"
-let ext_dll = ref "so"
+let ext_dll = ref (if Sys.os_type = "Win32" then "dll" else "so")

let targets_internal = ref []
let ocaml_libs_internal = ref []

Salutations

Tags

No tags attached.

Attached Files

Relationships

Notes
(0004862) ygrek (reporter) 2009-03-25 09:39	I think the same applies to ext_lib and ext_obj - it will simplify building bindings with ocaml/msvc

Issue History
Date Modified	Username	Field	Change
2009-02-19 10:58	matt	New Issue
2009-03-25 09:39	ygrek	Note Added: 0004862
2009-03-30 08:10	xleroy	Status	new => assigned
2009-03-30 08:10	xleroy	Assigned To	=> ertai
2009-12-07 12:10	xclerc	Status	assigned => resolved
2009-12-07 12:10	xclerc	Fixed in Version	=> 3.11.2+dev
2009-12-07 12:10	xclerc	Resolution	open => fixed
2011-05-29 12:20	xleroy	Status	resolved => closed
2012-02-02 15:17	protz	Category	OCamlbuild => OCamlbuild (the tool)