Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
bdce0028
Commit
bdce0028
authored
Jan 18, 2008
by
Karoline Malmkjaer
Browse files
A few MinGW tests
parent
9797b2da
Changes
1
Hide whitespace changes
Inline
Side-by-side
configure.ml
View file @
bdce0028
...
...
@@ -162,11 +162,14 @@ let dir ?def d =
let
exe
=
match
Sys
.
os_type
with
|
"Win32"
->
print
"Win32 detected... executable will have .exe extension
\n
"
;
".exe"
|
"Cygwin"
->
print
"Cygwin detected... executable will have .exe extension"
;
".exe"
print
"Cygwin detected... executable will have .exe extension
\n
"
;
".exe"
|
_
->
""
let
check_mliface
dir
=
(* Sys.file_exists (Filename.concat dir "typing/types.ml") *)
Sys
.
file_exists
(
Filename
.
concat
dir
"typing/types.ml"
)
let
ocaml_stdlib
()
=
...
...
@@ -236,10 +239,14 @@ let required_packages = ["camlp4"; "num"; "pcre"; "ulex"; "cgi"; "netstring"]
let
has_forpack
=
print
"testing for -for-pack option: "
;
if
Sys
.
command
"ocamlc -for-pack foo 2> /dev/null"
=
0
then
(
print
"available
\n
"
;
true
)
else
(
print
"not available
\n
"
;
false
)
let
comm
=
match
Sys
.
os_type
with
|
"Win32"
->
"ocamlc -for-pack foo"
|
_
->
"ocamlc -for-pack foo 2> /dev/null"
in
if
Sys
.
command
comm
=
0
then
(
print
"available
\n
"
;
true
)
else
(
print
"not available
\n
"
;
false
)
let
has_natdynlink
=
print
"testing for native dynlink: "
;
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment