@@ -4,12 +4,6 @@ git.useGitDescribe := true
4
4
5
5
scalacOptions ++= Seq (" -unchecked" , " -deprecation" , " -feature" )
6
6
7
- scalacOptions ++= {
8
- val Seq (_, major, minor) = (scalaVersion in ThisBuild ).value.split(" \\ ." ).toSeq.map(_.toInt)
9
- if (major <= 10 || (major == 11 && minor < 5 )) Seq .empty
10
- else Seq (" -Ypatmat-exhaust-depth" , " 40" )
11
- }
12
-
13
7
javaOptions in IntegrationTest ++= Seq (" -Xss128M" )
14
8
15
9
fork in IntegrationTest := true
@@ -27,32 +21,30 @@ lazy val commonSettings = Seq(
27
21
crossScalaVersions := Seq (" 2.10.7" , " 2.11.12" , " 2.12.8" , " 2.13.0" )
28
22
)
29
23
24
+ lazy val publishSettings = Seq (
25
+ bintrayOrganization := Some (" epfl-lara" ),
26
+ bintrayRepository := " maven" ,
27
+ )
28
+
30
29
lazy val root = (project in file(" ." )).
31
30
configs(IntegrationTest ).
32
31
settings(commonSettings : _* ).
32
+ settings(publishSettings : _* ).
33
33
settings(Defaults .itSettings: _* )
34
34
35
35
publishMavenStyle := true
36
36
37
37
publishArtifact in Test := false
38
38
39
- publishTo := {
40
- val nexus = " https://oss.sonatype.org/"
41
- if (version.value.trim.endsWith(" SNAPSHOT" ))
42
- Some (" snapshots" at nexus + " content/repositories/snapshots" )
43
- else
44
- Some (" releases" at nexus + " service/local/staging/deploy/maven2" )
45
- }
46
-
47
39
pomIncludeRepository := { _ => false }
48
40
49
41
licenses := Seq (" MIT-style" -> url(" https://opensource.org/licenses/MIT" ))
50
42
51
43
pomExtra := (
52
- <url >https:// github.com/ regb / scala- smtlib</url >
44
+ <url >https:// github.com/ epfl - lara / scala- smtlib</url >
53
45
<scm >
54
- <url >git@ github.com: regb / scala- smtlib.git</url >
55
- <connection >scm: git: git@ github.com: regb / scala- smtlib.git</connection >
46
+ <url >git@ github.com: epfl - lara / scala- smtlib.git</url >
47
+ <connection >scm: git: git@ github.com: epfl - lara / scala- smtlib.git</connection >
56
48
</scm >
57
49
<developers >
58
50
<developer >
0 commit comments