From fe28d6a93686eca649c3a8db7eb3c4b6e363e511 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 23 Apr 2014 14:58:34 +0100
Subject: Rename main to sail, build pretty_printer lib

---
 src/myocamlbuild.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/myocamlbuild.ml')

diff --git a/src/myocamlbuild.ml b/src/myocamlbuild.ml
index ecd86adc..70e2b633 100644
--- a/src/myocamlbuild.ml
+++ b/src/myocamlbuild.ml
@@ -46,7 +46,7 @@ dispatch begin function
 
     rule "sail -> lem"
     ~prod: "%.lem"
-    ~deps: ["%.sail"; "main.native"]
+    ~deps: ["%.sail"; "sail.native"]
     (fun env builder ->
       let sail_opts = List.map (fun s -> A s) (
         "-lem_ast" ::
@@ -54,7 +54,7 @@ dispatch begin function
           split ',' (Sys.getenv "SAIL_OPTS")
         with Not_found -> []) in
       Seq [
-        Cmd (S ([ P "./main.native"] @ sail_opts @ [P (env "%.sail")]));
+        Cmd (S ([ P "./sail.native"] @ sail_opts @ [P (env "%.sail")]));
         mv (basename (env "%.lem")) (dirname (env "%.lem"))
       ]);
 
-- 
cgit v1.2.3