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
eff5975e
Commit
eff5975e
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2004-04-21 07:35:38 by afrisch] Empty log message
Original author: afrisch Date: 2004-04-21 07:35:38+00:00
parent
ece90d2d
Changes
1
Hide whitespace changes
Inline
Side-by-side
driver/cduce.ml
View file @
eff5975e
...
@@ -298,10 +298,13 @@ ifdef ML_INTERFACE then
...
@@ -298,10 +298,13 @@ ifdef ML_INTERFACE then
close_out
out
;
close_out
out
;
with
Not_found
->
(
with
Not_found
->
(
let
name
=
fnam
^
".mli"
in
let
name
=
fnam
^
".mli"
in
let
file
=
List
.
find
(
let
has_cmi
=
List
.
exists
(
fun
dir
->
Sys
.
file_exists
(
Filename
.
concat
dir
name
)
fun
dir
->
Sys
.
file_exists
(
Filename
.
concat
dir
name
)
)
!
Librarian
.
obj_path
in
)
!
Librarian
.
obj_path
in
if
file
<>
""
then
Format
.
eprintf
"Warning: found %s.mli but no %s.cmi: forgotten compilation?@."
fnam
fnam
;
if
has_cmi
then
Format
.
eprintf
"Warning: found %s.mli but no %s.cmi: forgotten compilation?@."
fnam
fnam
;
)
)
else
else
let
check_ml
cu
id
out_dir
out
=
()
;;
let
check_ml
cu
id
out_dir
out
=
()
;;
...
...
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