Import classPath from configuration

web/app/models/LeonConsole.scala

@@ -90,6 +90,7 @@ class ConsoleSession extends Actor {
       log("Welcome to LeonOnline!")
       log("Processing request...")
 
+      val classPath = Play.current.configuration.getString("app.classpath").getOrElse("")
 
       mode match {
         case "verification" =>
@@ -100,7 +101,8 @@ class ConsoleSession extends Actor {
             settings = Settings(
               synthesis = false,
               xlang     = false,
-              verify    = true
+              verify    = true,
+              classPath = classPath
             ),
             files = Nil,
             reporter = new WSReporter(channel)
@@ -120,7 +122,8 @@ class ConsoleSession extends Actor {
             settings = Settings(
               synthesis = true,
               xlang     = false,
-              verify    = false
+              verify    = false,
+              classPath = classPath
             ),
             files = Nil,
             reporter = new WSReporter(channel)

web/conf/application.conf

@@ -46,4 +46,7 @@ logger.play=INFO
 logger.application=DEBUG
 
 # This specifies the prefix under which the web page lies, used almost exclusively for the laraserver setup
-app.prefix=/leon
+app.prefix=""
+
+# Specifies the classpath used by the Scala compiler within Leon
+app.classpath="."

web/conf/laraserver.conf

+# This is the main configuration file for the application.
+# ~~~~~
+
+# Secret key
+# ~~~~~
+# The secret key is used to secure cryptographics functions.
+# If you deploy your application to several instances be sure to use the same key!
+application.secret="_JKq[m=o8OG;]F8xD:bGMs^/?KXXb2Huq^KLM=obhIQvsPIwPNJq@sgLWTRCLr4]"
+
+# The application languages
+# ~~~~~
+application.langs="en"
+
+# Global object class
+# ~~~~~
+# Define the Global object class for this application.
+# Default to Global in the root package.
+# global=Global
+
+# Database configuration
+# ~~~~~ 
+# You can declare as many datasources as you want.
+# By convention, the default datasource is named `default`
+#
+# db.default.driver=org.h2.Driver
+# db.default.url="jdbc:h2:mem:play"
+# db.default.user=sa
+# db.default.password=
+
+# Evolutions
+# ~~~~~
+# You can disable evolutions if needed
+# evolutionplugin=disabled
+
+# Logger
+# ~~~~~
+# You can also configure logback (http://logback.qos.ch/), by providing a logger.xml file in the conf directory .
+
+# Root logger:
+logger.root=ERROR
+
+# Logger used by the framework:
+logger.play=INFO
+
+# Logger provided to your application:
+logger.application=DEBUG
+
+# This specifies the prefix under which the web page lies, used almost exclusively for the laraserver setup
+app.prefix="/leon"
+
+# Specifies the classpath used by the Scala compiler within Leon
+app.classpath="/localhome/leonweb/.sbt/0.12.1/boot/scala-2.9.2/lib/"