# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1392821843 -3600
# Node ID 80e84e3fa55b7b9700acdaa855bcc6d0a15b6229
# Parent  4ab3f98d724a40ef79136a90971486561c15e7a4
HSAIL: upgraded to Okra 1.8 jars

diff -r 4ab3f98d724a -r 80e84e3fa55b mx/projects
--- a/mx/projects	Wed Feb 19 12:08:37 2014 +0100
+++ b/mx/projects	Wed Feb 19 15:57:23 2014 +0100
@@ -24,15 +24,15 @@
 library@DACAPO_SCALA@path=lib/dacapo-scala-0.1.0-20120216.jar
 library@DACAPO_SCALA@urls=http://repo.scalabench.org/snapshots/org/scalabench/benchmarks/scala-benchmark-suite/0.1.0-SNAPSHOT/scala-benchmark-suite-0.1.0-20120216.103539-3.jar
 
-library@OKRA@path=lib/okra-1.7.jar
-library@OKRA@urls=http://cr.openjdk.java.net/~tdeneau/okra-1.7.jar
-library@OKRA@sourcePath=lib/okra-1.7-src.jar
-library@OKRA@sourceUrls=http://cr.openjdk.java.net/~tdeneau/okra-1.7-src.jar
+library@OKRA@path=lib/okra-1.8.jar
+library@OKRA@urls=http://cr.openjdk.java.net/~tdeneau/okra-1.8.jar
+library@OKRA@sourcePath=lib/okra-1.8-src.jar
+library@OKRA@sourceUrls=http://cr.openjdk.java.net/~tdeneau/okra-1.8-src.jar
 
-library@OKRA_WITH_SIM@path=lib/okra-1.7-with-sim.jar
-library@OKRA_WITH_SIM@urls=http://cr.openjdk.java.net/~tdeneau/okra-1.7-with-sim.jar
-library@OKRA_WITH_SIM@sourcePath=lib/okra-1.7-with-sim-src.jar
-library@OKRA_WITH_SIM@sourceUrls=http://cr.openjdk.java.net/~tdeneau/okra-1.7-with-sim-src.jar
+library@OKRA_WITH_SIM@path=lib/okra-1.8-with-sim.jar
+library@OKRA_WITH_SIM@urls=http://cr.openjdk.java.net/~tdeneau/okra-1.8-with-sim.jar
+library@OKRA_WITH_SIM@sourcePath=lib/okra-1.8-with-sim-src.jar
+library@OKRA_WITH_SIM@sourceUrls=http://cr.openjdk.java.net/~tdeneau/okra-1.8-with-sim-src.jar
 
 library@JRUBYPARSER@path=lib/jrubyparser-0.5.0.jar
 library@JRUBYPARSER@urls=http://repo1.maven.org/maven2/org/jruby/jrubyparser/0.5.0/jrubyparser-0.5.0.jar