# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1389352889 -3600
# Node ID 680a7cc8f451da6ba3f11943b3b4085cd3f37973
# Parent  8aee7169dbe42aedfcddcf6afcb7c11694fb1811
added sourcePath attribute to OKRA library declaration

diff -r 8aee7169dbe4 -r 680a7cc8f451 mx/projects
--- a/mx/projects	Fri Jan 10 11:30:04 2014 +0100
+++ b/mx/projects	Fri Jan 10 12:21:29 2014 +0100
@@ -25,7 +25,9 @@
 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.2.jar
+library@OKRA@sourcePath=lib/okra-1.2.jar
 library@OKRA@urls=http://cr.openjdk.java.net/~tdeneau/okra-1.2.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