Skip to content
This repository has been archived by the owner on Sep 25, 2020. It is now read-only.

Commit

Permalink
trim package sizes
Browse files Browse the repository at this point in the history
  • Loading branch information
larsrh committed Jun 29, 2018
1 parent 9292571 commit d4087ed
Showing 1 changed file with 19 additions and 11 deletions.
30 changes: 19 additions & 11 deletions build.sbt
Original file line number Diff line number Diff line change
Expand Up @@ -106,6 +106,7 @@ lazy val root = project.in(file("."))
pideInterface, libisabelle, setup,
tests, docs, examples,
cli,
pideDependencies,
pideAggregate,
pidePackage,
workbench
Expand Down Expand Up @@ -201,8 +202,24 @@ lazy val setup = project.in(file("modules/setup"))

lazy val pideVersion = settingKey[Version]("PIDE version")

lazy val pideDependencies = project.in(file("modules/pide-dependencies"))
.dependsOn(pideInterface)
.settings(moduleName := "pide-dependencies")
.settings(standardSettings)
.enablePlugins(GitVersioning)
.settings(
libraryDependencies ++= Seq(
"org.scala-lang.modules" %% "scala-parser-combinators" % "1.1.1",
"org.tukaani" % "xz" % "1.8",
"com.jcraft" % "jsch" % "0.1.54",
"com.jcraft" % "jzlib" % "1.1.3",
"org.scala-lang" % "scala-compiler" % scalaVersion.value,
"org.xerial" % "sqlite-jdbc" % "3.23.1"
)
)

def pide(version: String) = Project(s"pide$version", file(s"modules/pide/$version"))
.dependsOn(pideInterface % "provided")
.dependsOn(pideDependencies % "provided")
.settings(moduleName := s"pide-$version")
.settings(standardSettings)
.enablePlugins(GitVersioning, BuildInfoPlugin)
Expand All @@ -211,15 +228,6 @@ def pide(version: String) = Project(s"pide$version", file(s"modules/pide/$versio
pideVersion := Version.Stable(version),
buildInfoPackage := "info.hupel.isabelle.impl",
autoScalaLibrary := false,
libraryDependencies ++= Seq(
"org.scala-lang" % "scala-library" % scalaVersion.value % "provided",
("org.scala-lang.modules" %% "scala-parser-combinators" % "1.1.1").exclude("org.scala-lang", "scala-library"),
"org.tukaani" % "xz" % "1.8",
"com.jcraft" % "jsch" % "0.1.54",
"com.jcraft" % "jzlib" % "1.1.3",
("org.scala-lang" % "scala-compiler" % scalaVersion.value).exclude("org.scala-lang", "scala-library"),
"org.xerial" % "sqlite-jdbc" % "3.23.1"
),
assemblyJarName := s"${moduleName.value}-assembly.jar"
)

Expand Down Expand Up @@ -250,7 +258,7 @@ def assemblyGenerator(p: Project) = Def.task {
}

lazy val pidePackage = project.in(file("modules/pide-package"))
.dependsOn(pideInterface)
.dependsOn(pideDependencies)
.settings(moduleName := "pide-package")
.settings(standardSettings)
.settings(
Expand Down

0 comments on commit d4087ed

Please sign in to comment.