|
@@ -3,9 +3,9 @@
|
|
|
RETCODE=$(fw_exists /usr/local/bin/urweb)
|
|
RETCODE=$(fw_exists /usr/local/bin/urweb)
|
|
|
[ ! "$RETCODE" == 0 ] || { return 0; }
|
|
[ ! "$RETCODE" == 0 ] || { return 0; }
|
|
|
|
|
|
|
|
-fw_get http://www.impredicative.com/ur/urweb-20140704.tgz
|
|
|
|
|
-fw_untar urweb-20140704.tgz
|
|
|
|
|
-cd urweb-20140704
|
|
|
|
|
|
|
+fw_get http://www.impredicative.com/ur/urweb-20140819.tgz
|
|
|
|
|
+fw_untar urweb-20140819.tgz
|
|
|
|
|
+cd urweb-20140819
|
|
|
./configure
|
|
./configure
|
|
|
make
|
|
make
|
|
|
sudo make install
|
|
sudo make install
|
Adam Chlipala