From 489d242f3446649c91dc28d1ca5ef10c2187a514 Mon Sep 17 00:00:00 2001
From: Jeanderson Candido <jeandersonbc@gmail.com>
Date: Mon, 2 Jul 2018 15:01:54 -0300
Subject: [PATCH] Added Eclipse support for gradle

---
 .gitignore   |  5 +++++
 build.gradle | 21 ++++++++++++++++++++-
 2 files changed, 25 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 3b36854..9ccb9e2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,6 +25,7 @@ nbdist/
 .nb-gradle/
 
 ####### Covers Eclipse IDE #######
+.idea/
 .metadata
 tmp/
 *.tmp
@@ -34,8 +35,12 @@ tmp/
 .settings/
 .loadpath
 .recommenders
+.classpath
+.project
 
 ####### Covers JetBrains IDE: IntelliJ #######
+*.iml
+*.ipr
 
 # User-specific stuff:
 .idea/**/workspace.xml
diff --git a/build.gradle b/build.gradle
index c2db9bc..93714b1 100644
--- a/build.gradle
+++ b/build.gradle
@@ -2,6 +2,7 @@ plugins {
     id "com.gradle.build-scan" version "1.14"
     id "java"
     id "jacoco"
+    id "eclipse"
 }
 
 sourceCompatibility = 1.8
@@ -11,7 +12,7 @@ ext.manifestCommonAttrbutes = manifest {
     attributes(
         "Built-By": System.getProperty("user.name"),
         "Implementation-Vendor": "NASA Ames Research Center",
-        "Implementation-Version": "1234" // FIXME
+        "Implementation-Version": "8.0"
     )
 }
 
@@ -365,4 +366,22 @@ test {
     }
 }
 
+eclipse {
+    group = "JPF IDE Support"
+
+    project {
+        natures = ["org.eclipse.buildship.core.gradleprojectnature"]
+    }
+    classpath {
+        defaultOutputDir = buildDir
+        file {
+            whenMerged { classpath ->
+                classpath.entries.findAll{ entry -> entry.kind == "src" }*.every { srcNode ->
+                    srcNode.output = srcNode.output.replace("bin", "${buildDir.name}")
+                }
+            }
+        }
+    }
+}
+
 defaultTasks "buildJars"
-- 
2.34.1