Selaa lähdekoodia

Install latest released Ur/Web version

Adam Chlipala 11 vuotta sitten
vanhempi
commit
6955275cac
1 muutettua tiedostoa jossa 5 lisäystä ja 5 poistoa
  1. 5 5
      toolset/setup/linux/installer.py

+ 5 - 5
toolset/setup/linux/installer.py

@@ -197,11 +197,11 @@ class Installer:
     #
     #
     # Ur/Web
     # Ur/Web
     #
     #
-    self.__download("http://www.impredicative.com/ur/urweb-20140426.tgz");
-    self.__run_command("tar xzf urweb-20140426.tgz");
-    self.__run_command("./configure", cwd="urweb-20140426")
-    self.__run_command("make", cwd="urweb-20140426")
-    self.__run_command("sudo make install", cwd="urweb-20140426")
+    self.__download("http://www.impredicative.com/ur/urweb-20140531.tgz");
+    self.__run_command("tar xzf urweb-20140531.tgz");
+    self.__run_command("./configure", cwd="urweb-20140531")
+    self.__run_command("make", cwd="urweb-20140531")
+    self.__run_command("sudo make install", cwd="urweb-20140531")
     
     
     #
     #
     # HHVM
     # HHVM