Blob Blame History Raw
--- extlib-1.5.1.orig/install.ml	2008-02-12 18:01:34.000000000 +0000
+++ extlib-1.5.1/install.ml	2008-02-12 18:03:26.000000000 +0000
@@ -64,10 +64,18 @@
 		print_endline ("Installing " ^ file);
 		let path = dest ^ file in
 		(try Sys.remove path with _ -> ());
-		try
-			Sys.rename file path;
-		with
-			_ -> failwith "Aborted"
+		let ichan = open_in file in
+		let ochan = open_out path in
+		let buf = String.create 1024 in
+		let rec loop () =
+			let len = input ichan buf 0 1024 in
+			if len > 0 then (
+				output ochan buf 0 len;
+				loop ()
+			)
+		in
+		loop ();
+		Sys.remove file
 	end
 
 let complete_path p =