Files

18 lines
561 B
Diff

--- setup.ml.ORIG 2017-07-30 12:47:19.000000000 -0400
+++ setup.ml 2018-04-26 20:46:18.000000000 -0400
@@ -6060,12 +6060,12 @@
in
fun () -> dn
in
- let () =
+ (* let () =
if not (OASISFileUtil.file_exists_case (findlib_dir ())) then
failwithf
(f_ "Directory '%s' doesn't exist for findlib library %s")
(findlib_dir ()) findlib_name
- in
+ in *)
let f dir file =
let basename = Filename.basename file in
let tgt_fn = Filename.concat dir basename in