diff --git a/.gitignore b/.gitignore
index b6d5818..e8be0d3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,3 @@
-*.class
-*.log
-
# sbt specific
dist/*
target/
@@ -8,17 +5,23 @@ lib_managed/
src_managed/
project/boot/
project/plugins/project/
+.cache*
# Eclipse specific
.cache
.classpath
.project
.settings/
+.target
# Scala-IDE specific
.scala_dependencies
.worksheet
.scalastyle
+# IntelliJ IDEA specific
+.idea
+
# OSX specific
.DS_Store
+
diff --git a/build.sbt b/build.sbt
index f7abf6f..c2b7746 100644
--- a/build.sbt
+++ b/build.sbt
@@ -22,10 +22,10 @@ scalacOptions ++= Seq(
)
scalacOptions in (Compile, doc) ++= Seq("-diagrams","-implicits")
-resolvers += "edla repo" at "http://www.edla.org/snapshots"
+resolvers += "Sonatype OSS Snapshots" at "https://oss.sonatype.org/content/repositories/snapshots"
libraryDependencies ++= Seq(
- "at.logic.gapt" %% "gapt" % "1.10-SNAPSHOT",
+ //"at.logic.gapt" %% "gapt" % "1.10-SNAPSHOT",
"org.scala-lang.modules" %% "scala-parser-combinators" % "1.0.4",
//workaround for ivy : impossible to get artifacts when data has not been loaded.
//http://harrah.github.io/xsbt/latest/sxr/Ivy.scala.html
@@ -44,77 +44,3 @@ libraryDependencies ++= Seq(
licenses := Seq("GNU GPL v3" -> url("http://www.gnu.org/licenses/gpl.html"))
homepage := Some(url("http://github.com/newca12/scala-atp"))
-
-//pomIncludeRepository := { _ => false }
-
-pomExtra := (
-
- git@github.com:newca12/scala-atp.git
- scm:git:git@github.com:newca12/scala-atp.git
-
-
-
- newca12
- Olivier ROLAND
- http://www.edla.org
-
-
-
-
-
- UTF-8
- UTF-8
-
-
- src/main/scala
- src/test/scala
-
-
- org.apache.maven.plugins
- maven-compiler-plugin
- 3.2
-
- 1.8
- 1.8
-
-
-
- net.alchim31.maven
- scala-maven-plugin
- 3.2.0
-
-
- compile
-
- compile
- testCompile
-
-
-
-
-
- org.apache.maven.plugins
- maven-surefire-plugin
- 2.18.1
-
-
- **/*Suite.class
- **/*Test.class
- **/*Tests.class
- **/*Spec.class
- **/*Specs.class
-
-
-
-
-
-
-
-
- net.alchim31.maven
- scala-maven-plugin
- 3.2.0
-
-
-
-)
diff --git a/pom.xml b/pom.xml
deleted file mode 100644
index d3e9a8b..0000000
--- a/pom.xml
+++ /dev/null
@@ -1,143 +0,0 @@
-
-
- 4.0.0
- org.edla
- scala-atp_2.11
- jar
- scala-atp
- http://github.com/newca12/scala-atp
- 0.1-SNAPSHOT
-
-
- GNU GPL v3
- http://www.gnu.org/licenses/gpl.html
- repo
-
-
- scala-atp
-
- org.edla
- http://github.com/newca12/scala-atp
-
-
- git@github.com:newca12/scala-atp.git
- scm:git:git@github.com:newca12/scala-atp.git
-
-
-
- newca12
- Olivier ROLAND
- http://www.edla.org
-
-
-
-
- UTF-8
- UTF-8
-
-
- src/main/scala
- src/test/scala
-
-
- org.apache.maven.plugins
- maven-compiler-plugin
- 3.2
-
- 1.8
- 1.8
-
-
-
- net.alchim31.maven
- scala-maven-plugin
- 3.2.0
-
-
- compile
-
- compile
- testCompile
-
-
-
-
-
- org.apache.maven.plugins
- maven-surefire-plugin
- 2.18.1
-
-
- **/*Suite.class
- **/*Test.class
- **/*Tests.class
- **/*Spec.class
- **/*Specs.class
-
-
-
-
-
-
-
-
- net.alchim31.maven
- scala-maven-plugin
- 3.2.0
-
-
-
-
-
- org.scala-lang
- scala-library
- 2.11.6
-
-
- org.scoverage
- scalac-scoverage-runtime_2.11
- 1.0.4
- provided
-
-
- org.scoverage
- scalac-scoverage-plugin_2.11
- 1.0.4
- provided
-
-
- at.logic.gapt
- gapt_2.11
- 1.10-SNAPSHOT
-
-
- org.scala-lang.modules
- scala-parser-combinators_2.11
- 1.0.3
-
-
- org.parboiled
- parboiled_2.11
- 2.2.0-SNAPSHOT
-
-
- org.scalatest
- scalatest_2.11
- 2.2.4
- test
-
-
- com.twitter
- util-core_2.11
- 6.23.0
-
-
-
-
- edlarepo
- edla repo
- http://www.edla.org/snapshots/
- default
-
-
-
\ No newline at end of file