haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update setup.ml for oasis 0.3.0 

Ignore-this: a79b0ec45230eccb28c325ebaa1a2108

darcs-hash:20120425060514-c41ad-ec2ab331511c791e0c0e9418a04b66a2e8ba93bb
This commit is contained in:
Jeremie Dimino 2012-04-25 08:05:14 +02:00
parent d74d29278d
commit 6d1b1a259f
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
setup.ml
View File

@ -8,13 +8,10 @@
*)
(* OASIS_START *)
let () =
let command = Printf.sprintf "oasis setup-dev -run %s %s" Sys.executable_name (String.concat " " (Array.to_list Sys.argv)) in
Printf.eprintf "I: Running command '%s'\n%!" command;
exit (Sys.command command)
;;
(* DO NOT EDIT (digest: 7f47a529f70709161149c201ccd90f0b) *)
#use "topfind";;
#require "oasis.dynrun";;
open OASISDynRun;;
(* OASIS_STOP *)
let search_compiler_libs () =