|
|
@@ -33,7 +33,7 @@ class Installer:
|
|
|
#######################################
|
|
|
self.__run_command("sudo apt-get update", True)
|
|
|
self.__run_command("sudo apt-get upgrade", True)
|
|
|
- self.__run_command("sudo apt-get install build-essential libpcre3 libpcre3-dev libpcrecpp0 libssl-dev zlib1g-dev python-software-properties unzip git-core libcurl4-openssl-dev libbz2-dev libmysqlclient-dev mongodb-clients libreadline6-dev libyaml-dev libsqlite3-dev sqlite3 libxml2-dev libxslt-dev libgdbm-dev ncurses-dev automake libffi-dev htop libtool bison libevent-dev libgstreamer-plugins-base0.10-0 libgstreamer0.10-0 liborc-0.4-0 libwxbase2.8-0 libwxgtk2.8-0 libgnutls-dev libjson0-dev libmcrypt-dev libicu-dev cmake gettext curl libpq-dev mercurial", True)
|
|
|
+ self.__run_command("sudo apt-get install build-essential libpcre3 libpcre3-dev libpcrecpp0 libssl-dev zlib1g-dev python-software-properties unzip git-core libcurl4-openssl-dev libbz2-dev libmysqlclient-dev mongodb-clients libreadline6-dev libyaml-dev libsqlite3-dev sqlite3 libxml2-dev libxslt-dev libgdbm-dev ncurses-dev automake libffi-dev htop libtool bison libevent-dev libgstreamer-plugins-base0.10-0 libgstreamer0.10-0 liborc-0.4-0 libwxbase2.8-0 libwxgtk2.8-0 libgnutls-dev libjson0-dev libmcrypt-dev libicu-dev cmake gettext curl libpq-dev mercurial mlton", True)
|
|
|
self.__run_command("sudo add-apt-repository ppa:ubuntu-toolchain-r/test", True)
|
|
|
self.__run_command("sudo apt-get update", True)
|
|
|
self.__run_command("sudo apt-get install gcc-4.8 g++-4.8", True)
|
|
|
@@ -204,6 +204,16 @@ class Installer:
|
|
|
|
|
|
self.__run_command("sudo apt-get install racket", True)
|
|
|
|
|
|
+ #
|
|
|
+ # Ur/Web
|
|
|
+ #
|
|
|
+
|
|
|
+ self.__download("http://www.impredicative.com/ur/urweb-20130421.tgz")
|
|
|
+ self.__run_command("tar xzf urweb-20130421.tgz")
|
|
|
+ self.__run_command("./configure", cwd="urweb-20130421")
|
|
|
+ self.__run_command("make", cwd="urweb-20130421")
|
|
|
+ self.__run_command("sudo make install", cwd="urweb-20130421")
|
|
|
+
|
|
|
#######################################
|
|
|
# Webservers
|
|
|
#######################################
|
Eric Easley