--- a/src/Pure/System/cygwin.scala Thu May 24 23:13:06 2012 +0200
+++ b/src/Pure/System/cygwin.scala Thu May 24 23:28:58 2012 +0200
@@ -36,27 +36,5 @@
sanity_check(new File(root))
root
}
-
- def setup(parent: Component, root: File)
- {
- if (!root.isDirectory && !root.mkdirs) error("Failed to create root directory: " + root)
-
- val download = new File(root, "download")
- if (!download.mkdir) error("Failed to create download directory: " + download)
-
- val setup_exe = new File(root, "setup.exe")
-
- try {
- Download.file(parent, "Downloading", new URL("http://www.cygwin.com/setup.exe"), setup_exe)
- }
- catch { case ERROR(_) => error("Failed to download Cygwin setup program") }
-
- val (_, rc) = Standard_System.raw_exec(root, null, true,
- setup_exe.toString, "-R", root.toString, "-l", download.toString,
- "-P", "libgmp3,make,perl,python", "-q", "-n")
- if (rc != 0) error("Cygwin setup failed!")
-
- sanity_check(root)
- }
}
--- a/src/Pure/System/download.scala Thu May 24 23:13:06 2012 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,54 +0,0 @@
-/* Title: Pure/System/download.scala
- Module: PIDE
- Author: Makarius
-
-Download URLs -- with progress monitor.
-*/
-
-package isabelle
-
-
-import java.io.{BufferedInputStream, BufferedOutputStream, FileOutputStream,
- File, InterruptedIOException}
-import java.net.{URL, URLConnection}
-import java.awt.{Component, HeadlessException}
-import javax.swing.ProgressMonitorInputStream
-
-
-object Download
-{
- def stream(parent: Component, title: String, url: URL): (URLConnection, BufferedInputStream) =
- {
- val connection = url.openConnection
-
- val stream = new ProgressMonitorInputStream(parent, title, connection.getInputStream)
- val monitor = stream.getProgressMonitor
- monitor.setNote(connection.getURL.toString)
-
- val length = connection.getContentLength
- if (length != -1) monitor.setMaximum(length)
-
- (connection, new BufferedInputStream(stream))
- }
-
- def file(parent: Component, title: String, url: URL, file: File)
- {
- val (connection, instream) = stream(parent, title, url)
- val mod_time = connection.getLastModified
-
- def read() =
- try { instream.read }
- catch { case _ : InterruptedIOException => error("Canceled by user") }
- try {
- val outstream = new BufferedOutputStream(new FileOutputStream(file))
- try {
- var c: Int = 0
- while ({ c = read(); c != -1 }) outstream.write(c)
- }
- finally { outstream.close }
- if (mod_time > 0) file.setLastModified(mod_time)
- }
- finally { instream.close }
- }
-}
-
--- a/src/Pure/build-jars Thu May 24 23:13:06 2012 +0200
+++ b/src/Pure/build-jars Thu May 24 23:28:58 2012 +0200
@@ -40,7 +40,6 @@
PIDE/xml.scala
PIDE/yxml.scala
System/cygwin.scala
- System/download.scala
System/event_bus.scala
System/gui_setup.scala
System/invoke_scala.scala