build.sbt

name := "Monadic Abstract Interpreter"

version := "1.0"

scalaVersion := "2.10.1"

scalacOptions ++= Seq("-unchecked", "-deprecation", "-feature", "-language:postfixOps", "-language:implicitConversions")

// ScalaTest
libraryDependencies += "org.scalatest" %% "scalatest" % "1.9.1" % "test"

/* Fixes PatMatch memory warnings */
initialize ~= { _ ⇒
  sys.props("scalac.patmat.analysisBudget") = "off"
}

// ScalaCheck

resolvers ++= Seq(
  "snapshots" at "http://oss.sonatype.org/content/repositories/snapshots",
  "releases"  at "http://oss.sonatype.org/content/repositories/releases"
)

libraryDependencies ++= Seq(
  "org.scalacheck" %% "scalacheck" % "1.10.0" % "test"
)

// Disable parallel execution of tests
parallelExecution in Test := false

// show durations.
testOptions in Test ++= Seq(Tests.Argument("-oD"), Tests.Argument("-l"), Tests.Argument("Concrete"))