Wed, 25 Feb 2009 13:55:52 +0100
Import package vendor original specs for necessary manipulations.
michael@112 | 1 | Index: install.ml |
michael@112 | 2 | --- install.ml.orig 2006-08-02 17:59:19 +0200 |
michael@112 | 3 | +++ install.ml 2008-05-30 17:49:27 +0200 |
michael@112 | 4 | @@ -104,10 +104,10 @@ |
michael@112 | 5 | in |
michael@112 | 6 | let startdir = Sys.getcwd() in |
michael@112 | 7 | try |
michael@112 | 8 | - download(); |
michael@112 | 9 | + (* download(); *) |
michael@112 | 10 | compile(); |
michael@112 | 11 | Sys.chdir startdir; |
michael@112 | 12 | with |
michael@112 | 13 | Failure msg -> |
michael@112 | 14 | Sys.chdir startdir; |
michael@112 | 15 | - prerr_endline msg; exit 1 |
michael@112 | 16 | \ No newline at end of file |
michael@112 | 17 | + prerr_endline msg; exit 1 |