# HG changeset patch
# User wenzelm
# Date 1292884618 -3600
# Node ID 2a12d91a6ab7a982d5f878a0e0fba56439597f87
# Parent  425da53b31966d945127d22eef25c40327e3ddf2
Cygwin: Poly/ML 5.4.0 requires libgmp3;

diff -r 425da53b3196 -r 2a12d91a6ab7 src/Pure/System/cygwin.scala
--- a/src/Pure/System/cygwin.scala	Mon Dec 20 23:30:32 2010 +0100
+++ b/src/Pure/System/cygwin.scala	Mon Dec 20 23:36:58 2010 +0100
@@ -118,7 +118,7 @@
 
     val (_, rc) = Standard_System.raw_exec(root, null, true,
         setup_exe.toString, "-R", root.toString, "-l", download.toString,
-          "-P", "make,perl,python", "-q", "-n")
+          "-P", "libgmp3,make,perl,python", "-q", "-n")
     if (rc != 0) error("Cygwin setup failed!")
 
     sanity_check(root)