-
Notifications
You must be signed in to change notification settings - Fork 0
/
build.sbt
61 lines (50 loc) · 2.21 KB
/
build.sbt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
import Dependencies._
ThisBuild / scalaVersion := "3.6.2-RC3"
Global / resolvers += "scala-integration" at "https://scala-ci.typesafe.com/artifactory/scala-integration/"
val scala2Opts = Seq("-feature", "-language:implicitConversions", "-deprecation", "-Ytasty-reader")
val scala3Opts = Seq("-feature", "-language:implicitConversions", "-indent", "-Xwiki-syntax", "-Xmax-inlines", "128", "-new-syntax")
// val scala2Opts = Seq("-feature", "-language:implicitConversions", "-explaintypes", "-deprecation", "-Ytasty-reader")
// val scala3Opts = Seq("-feature", "-language:implicitConversions", "-explain-types", "-indent", "-new-syntax")
lazy val root = (project in file("."))
.aggregate(main, main_)
.settings(
name := "π-Calculus2Scala",
organization := "sjb.ia.ga",
organizationName := "sjbiaga",
version := "1.0",
maxErrors := 5,
scalaVersion := "3.6.2-RC3",
crossScalaVersions ++= Seq("2.13.15", "3.6.2-RC3"),
scalacOptions ++= scala3Opts, // :+ "-Xprint:typer",
libraryDependencies ++= Seq(scalameta, parsercombinators, munit % Test)
)
lazy val main = (project in file("main"))
.settings(
name := "main π-Calculus2Scala",
organization := "sjb.ia.ga",
organizationName := "sjbiaga",
version := "1.0",
maxErrors := 5,
scalaVersion := "3.6.2-RC3",
crossScalaVersions ++= Seq("2.13.15", "3.6.2-RC3"),
scalacOptions ++= scala3Opts, // :+ "-Xprint:typer",
libraryDependencies ++= Seq(catseffect, scalameta, munit % Test)
)
lazy val main_ = (project in file("main_"))
.settings(
name := "main_ π-Calculus2Scala",
organization := "sjb.ia.ga",
organizationName := "sjbiaga",
version := "1.0",
maxErrors := 5,
scalaVersion := "3.6.2-RC3",
crossScalaVersions ++= Seq("2.13.15", "3.6.2-RC3"),
scalacOptions ++= scala3Opts, // :+ "-Xprint:typer",
libraryDependencies ++= Seq(catseffect, scalameta, munit % Test)
)
unmanagedSources / excludeFilter := "pi*.scala" || "examples/*.scala"
// ThisBuild / evictionErrorLevel := Level.Info
Global / bloopExportJarClassifiers := Some(Set("sources"))
Global / onChangedBuildSource := ReloadOnSourceChanges
//Global / onChangedBuildSource := IgnoreSourceChanges
Test / parallelExecution := true