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
Why3
why3
Commits
3ec03aa4
Commit
3ec03aa4
authored
Mar 15, 2010
by
Francois Bobot
Browse files
pour ocaml 3.10 pour le dynlink
parent
bf4646f0
Changes
2
Hide whitespace changes
Inline
Side-by-side
configure.in
View file @
3ec03aa4
...
...
@@ -481,7 +481,8 @@ AC_SUBST(PSVIEWER)
AC_SUBST(PDFVIEWER)
# Finally create the Makefile from Makefile.in
dnl AC_OUTPUT(Makefile)
AC_OUTPUT(Makefile bench/bench)
AC_CONFIG_FILES(Makefile bench/bench src/output/dynlink_compat.ml)
AC_OUTPUT
chmod a-w Makefile
chmod a-w bench/bench
chmod a+x bench/bench
...
...
src/output/driver.ml
View file @
3ec03aa4
...
...
@@ -165,7 +165,22 @@ let () =
"Pervasives";"Format";"List";"Sys";"Unix"]
*)
module
Dynlink
=
struct
let
is_native
=
true
open
Dynlink
let
is_native1
=
is_native
let
is_native
=
false
include
Dynlink
let
is_native2
=
is_native
let
is_native_not_defined
=
is_native1
<>
is_native2
end
exception
Cantloadplugin
let
load_plugin
dir
(
byte
,
nat
)
=
if
Dynlink
.
is_native_not_defined
then
raise
Cantloadplugin
;
let
file
=
if
Dynlink
.
is_native
then
nat
else
byte
in
let
file
=
Filename
.
concat
dir
file
in
Dynlink
.
loadfile_private
file
...
...
Write
Preview
Supports
Markdown
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