build.sbt

name := "parameterised-connectors"

version := "1.0"

scalaVersion := "2.11.7"
  //"2.10.5" //"2.11.7" -> strangely requires old version of picc (github)

// more warnings
scalacOptions ++= Seq("-unchecked", "-deprecation","-feature")

// more complete check for complete "cases" (scala 2.10)
// initialize ~= { _ => sys.props("scalac.patmat.analysisBudget") = "512" }

// add git dependency on PICC
lazy val piccProject = RootProject(uri("git://github.com/joseproenca/picc.git"))
lazy val root = (project in file(".")).dependsOn(piccProject)

libraryDependencies ++= Seq(
  "junit" % "junit" % "4.12",
  "org.choco-solver" % "choco-solver" % "3.3.1-j7",
  "org.slf4j" % "slf4j-simple" % "1.7.12",
//  "io.github.nicolasstucki" %% "multisets" % "0.3", // multisets - replaced by in-house to work with JavaJS
  "org.scala-lang" % "scala-compiler" % scalaVersion.value
//   "org.scala-lang" % "scala-reflect" % scalaVersion.value,
)

// libraryDependencies += ProjectRef(uri("https://github.com/joseproenca/picc"),"picc")

//libraryDependencies += "org.matheclipse" % "matheclipse-parser" % "0.0.7"
//
//resolvers += "org-matheclipse-repository" at "http://symja.googlecode.com/svn/maven-repository/"


//libraryDependencies += "cc.redberry" % "core" % "1.1.8"

//libraryDependencies += "org.apache.logging.log4j" % "log4j-core" % "2.3"

//libraryDependencies += "org.apache.logging.log4j" %% "log4j-core" % "2.3"

//libraryDependencies += "org.apache.logging.log4j" %% "log4j-api" % "2.3"