Update build for new community build infra

Author: OlivierBlanvillain

build.sbt

@@ -11,7 +11,8 @@ val dottyVersion = "0.11.0-bin-20181114-7a86d5b-NIGHTLY"
 lazy val commonSettings = Seq(
     organization := pdbp,
     version := pdbpVersion,
-    scalaVersion := dottyVersion
+    scalaVersion := dottyVersion,
+    updateOptions := updateOptions.value.withLatestSnapshots(false)
 )
 
 /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
@@ -21,7 +22,7 @@ lazy val types = project
   .settings(
     commonSettings,
     name := "types"
-  ) 
+  )
 
 lazy val utils = project
   .in(file("utils"))
@@ -37,7 +38,7 @@ lazy val kleisli = project
   .settings(
     commonSettings,
     name := "kleisli"
-  ) 
+  )
 
 /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
 
@@ -46,7 +47,7 @@ lazy val naturalTransformation = project
   .settings(
     commonSettings,
     name := "naturalTransformation"
-  ).dependsOn(kleisli) 
+  ).dependsOn(kleisli)
 
 /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
 
@@ -57,28 +58,28 @@ lazy val liftingSyntax = project
   .settings(
     commonSettings,
     name := "liftingSyntax"
-  ).dependsOn(types, utils)   
+  ).dependsOn(types, utils)
 
 lazy val writableSyntax = project
   .in(file("writableSyntax"))
   .settings(
     commonSettings,
     name := "writableSyntax"
-  ).dependsOn(types, liftingSyntax)    
+  ).dependsOn(types, liftingSyntax)
 
 lazy val programSyntax = project
   .in(file("programSyntax"))
   .settings(
     commonSettings,
     name := "programSyntax"
-  ).dependsOn(types, utils, writableSyntax) 
+  ).dependsOn(types, utils, writableSyntax)
 
 lazy val computationSyntax = project
   .in(file("computationSyntax"))
   .settings(
     commonSettings,
     name := "computationSyntax"
-  ).dependsOn(types, utils, kleisli, liftingSyntax, programSyntax)  
+  ).dependsOn(types, utils, kleisli, liftingSyntax, programSyntax)
 
 /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
 
@@ -87,7 +88,7 @@ lazy val computationTransformations = project
   .settings(
     commonSettings,
     name := "computationTransformations"
-  ).dependsOn(types, utils, naturalTransformation, programSyntax, computationSyntax) 
+  ).dependsOn(types, utils, naturalTransformation, programSyntax, computationSyntax)
 
 /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
 
@@ -98,18 +99,18 @@ lazy val programSemantics = project
   .settings(
     commonSettings,
     name := "programSemantics"
-  ).dependsOn(naturalTransformation, programSyntax)    
+  ).dependsOn(naturalTransformation, programSyntax)
 
  lazy val computationSemantics = project
   .in(file("computationSemantics"))
   .settings(
     commonSettings,
     name := "computationSemantics"
-  ).dependsOn(naturalTransformation, computationSyntax, computationTransformations, programSemantics, writableSyntaxInstances) 
+  ).dependsOn(naturalTransformation, computationSyntax, computationTransformations, programSemantics, writableSyntaxInstances)
 
 /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
 
-// syntax instances  
+// syntax instances
 
 lazy val writableSyntaxInstances = project
   .in(file("writableSyntaxInstances"))
@@ -123,7 +124,7 @@ lazy val programSyntaxInstances = project
   .settings(
     commonSettings,
     name := "programSyntaxInstances"
-  ).dependsOn(programSyntax, computationSyntax, computationTransformations, writableSyntaxInstances) 
+  ).dependsOn(programSyntax, computationSyntax, computationTransformations, writableSyntaxInstances)
 
 /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
 
@@ -143,7 +144,7 @@ lazy val programRunners = project
   .settings(
     commonSettings,
     name := "programRunners"
-  ).dependsOn(types) 
+  ).dependsOn(types)
 
 /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
 
@@ -154,14 +155,14 @@ lazy val programExampleUtils = project
   .settings(
     commonSettings,
     name := "programExampleUtils"
-  ).dependsOn(types, programSyntax)  
+  ).dependsOn(types, programSyntax)
 
 lazy val programExamples = project
   .in(file("programExamples"))
   .settings(
     commonSettings,
     name := "programExamples"
-  ).dependsOn(programSyntax, programExampleUtils)    
+  ).dependsOn(programSyntax, programExampleUtils)
 
 /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
 
@@ -179,9 +180,9 @@ lazy val mainExamples = project
   .settings(
     commonSettings,
     name := "mainExamples"
-  ).dependsOn(programSyntaxInstances, programSemanticsInstances, programRunners, programExamples, mainExampleUtils)   
+  ).dependsOn(programSyntaxInstances, programSemanticsInstances, programRunners, programExamples, mainExampleUtils)
+
 
-  
 /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
 
 // main program examples, effectul I/O
@@ -205,6 +206,6 @@ lazy val effectfulMainExamples = project
   .settings(
     commonSettings,
     name := "effectfulMainExamples"
-  ).dependsOn(programSyntaxInstances, programSemanticsInstances, programRunners, programExamples, effectfulMainExampleUtils) 
+  ).dependsOn(programSyntaxInstances, programSemanticsInstances, programRunners, programExamples, effectfulMainExampleUtils)
 
 /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

project/build.properties

@@ -1 +1 @@
-sbt.version=1.2.6
+sbt.version=1.2.7

project/plugins.sbt

@@ -1 +0,0 @@
-addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.2.4")