summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2007-12-01 19:44:32 +0100
committerGuillaume Seguin <guillaume@segu.in>2007-12-01 19:44:32 +0100
commit88f9137e34b070f9583e91ad7d7dbbb0344e54a6 (patch)
treef78d63ba4552492ba74c40d36ebc4499ca061cd9
parent3642cfaba41c992c3ad29242b426668d5f634f6a (diff)
downloadcamlui-88f9137e34b070f9583e91ad7d7dbbb0344e54a6.tar.gz
camlui-88f9137e34b070f9583e91ad7d7dbbb0344e54a6.tar.bz2
* Adding more test toplevels to workaround packaging bugs
-rw-r--r--camlui/process.py16
1 files changed, 12 insertions, 4 deletions
diff --git a/camlui/process.py b/camlui/process.py
index 750835b..2737778 100644
--- a/camlui/process.py
+++ b/camlui/process.py
@@ -147,10 +147,18 @@ correctly setup camllight")
"-lnums", "num.zo"])
toplevel = [self.toplevel]
if process.wait ():
- print _("An error occured while creating the custom toplevel, \
-using normal toplevel")
- toplevel = []
- self.toplevel = None
+ print _("An error occured while creating the custom full \
+toplevel, trying another toplevel without num")
+ process = subprocess.Popen (["camlmktop", "-custom",
+ "-o", self.toplevel, "unix.zo",
+ "graphics.zo", "-lunix", "-lnsl",
+ "-lgraph", "-lX11"])
+ toplevel = [self.toplevel]
+ if process.wait ():
+ print _("An error occured while creating both custom \
+toplevels, using normal toplevel")
+ toplevel = []
+ self.toplevel = None
# Start process
self.process = subprocess.Popen (self.command + toplevel,
stdin = subprocess.PIPE,