From 611b410df1bd77f0c7721ff34cf9d0478f4edfa6 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 18 Jul 2024 12:39:11 +0200
Subject: [PATCH] Convert build.gradle to LF newlines

---
 tlatools/build.gradle | 226 +++++++++++++++++++++---------------------
 1 file changed, 113 insertions(+), 113 deletions(-)

diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index 85660550e..2b8480678 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -1,113 +1,113 @@
-apply plugin: 'java'
-apply plugin: 'eclipse'
-apply plugin: 'maven'
-
-project.version = '1.0.3-SNAPSHOT'
-project.group = 'de.hhu.stups'
-project.archivesBaseName = 'tlatools'
-
-project.sourceCompatibility = '1.7'
-project.targetCompatibility = '1.7'
-
-repositories {
-	mavenCentral()
-}
-
-dependencies {
-	compile files ('lib/javax.mail.jar')
-	testCompile files ('lib/easymock-3.3.1.jar', 'lib/jpf.jar', 'lib/junit-4.8.2.jar', 'lib/javax.mail.jar')
-}
-
-sourceSets {
-    main {
-        java {
-            srcDir 'src'
-        }
-		resources{
-			srcDir 'src'
-		}
-
-
-    }
-}
-
-task tlatools(dependsOn: build) << {
-	copy {
-		from('build/libs/')
-		into('build/tlatools')
-		include('tlatools-'+project.version+'.jar')
-		rename('tlatools-(.+)', 'tlatools.jar')
-	}
-}
-
-if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
-
-println "Configuring deployment for ${ project.name }"
-
-apply plugin: 'signing'
-
-task javadocJar(type: Jar) {
-	 classifier = 'javadoc'
-	 from javadoc
-}
-
-task sourcesJar(type: Jar) {
-	 classifier = 'sources'
-	 from sourceSets.main.allSource
-}
-
-artifacts {
-	 archives javadocJar, sourcesJar
-}
-
-
-signing {
-	 sign configurations.archives
-}
-
-uploadArchives {
- repositories {
-	 mavenDeployer {
-		 beforeDeployment { MavenDeployment deployment -> signing.signPom(deployment) }
-
-		 repository(url: "https://oss.sonatype.org/service/local/staging/deploy/maven2/") {
-			 authentication(userName: ossrhUsername, password: ossrhPassword)
-		 }
-
-		 snapshotRepository(url: "https://oss.sonatype.org/content/repositories/snapshots/") {
-			 authentication(userName: ossrhUsername, password: ossrhPassword)
-		 }
-
-		 pom.project {
-			 name "TLA+ Tools"
-			 packaging 'jar'
-			 // optionally artifactId can be defined here
-			 description 'Modified version of the TLA+ tools for usage in ProB'
-			 url 'https://github.com/hhu-stups/tlatools'
-
-			 licenses {
-				 license {
-					 name 'MIT License'
-					 url 'http://research.microsoft.com/en-us/um/people/lamport/tla/license.html'
-				 }
-			 }
-
-			 scm {
-				 connection 'scm:git:git://github.com/hhu-stups/tlatools.git'
-				 developerConnection 'scm:git:git@github.com:hhu-stups/tlatools.git'
-				 url 'https://github.com/hhu-stups/tlatools'
-			 }
-
-
-			 developers {
-				 developer {
-					 id 'bendisposto'
-					 name 'Jens Bendisposto'
-					 email 'jens@bendisposto.de'
-				 }
-			 }
-		 }
-	 }
- }
-}
-}
+apply plugin: 'java'
+apply plugin: 'eclipse'
+apply plugin: 'maven'
+
+project.version = '1.0.3-SNAPSHOT'
+project.group = 'de.hhu.stups'
+project.archivesBaseName = 'tlatools'
+
+project.sourceCompatibility = '1.7'
+project.targetCompatibility = '1.7'
+
+repositories {
+	mavenCentral()
+}
+
+dependencies {
+	compile files ('lib/javax.mail.jar')
+	testCompile files ('lib/easymock-3.3.1.jar', 'lib/jpf.jar', 'lib/junit-4.8.2.jar', 'lib/javax.mail.jar')
+}
+
+sourceSets {
+    main {
+        java {
+            srcDir 'src'
+        }
+		resources{
+			srcDir 'src'
+		}
+
+
+    }
+}
+
+task tlatools(dependsOn: build) << {
+	copy {
+		from('build/libs/')
+		into('build/tlatools')
+		include('tlatools-'+project.version+'.jar')
+		rename('tlatools-(.+)', 'tlatools.jar')
+	}
+}
+
+if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
+
+println "Configuring deployment for ${ project.name }"
+
+apply plugin: 'signing'
+
+task javadocJar(type: Jar) {
+	 classifier = 'javadoc'
+	 from javadoc
+}
+
+task sourcesJar(type: Jar) {
+	 classifier = 'sources'
+	 from sourceSets.main.allSource
+}
+
+artifacts {
+	 archives javadocJar, sourcesJar
+}
+
+
+signing {
+	 sign configurations.archives
+}
+
+uploadArchives {
+ repositories {
+	 mavenDeployer {
+		 beforeDeployment { MavenDeployment deployment -> signing.signPom(deployment) }
+
+		 repository(url: "https://oss.sonatype.org/service/local/staging/deploy/maven2/") {
+			 authentication(userName: ossrhUsername, password: ossrhPassword)
+		 }
+
+		 snapshotRepository(url: "https://oss.sonatype.org/content/repositories/snapshots/") {
+			 authentication(userName: ossrhUsername, password: ossrhPassword)
+		 }
+
+		 pom.project {
+			 name "TLA+ Tools"
+			 packaging 'jar'
+			 // optionally artifactId can be defined here
+			 description 'Modified version of the TLA+ tools for usage in ProB'
+			 url 'https://github.com/hhu-stups/tlatools'
+
+			 licenses {
+				 license {
+					 name 'MIT License'
+					 url 'http://research.microsoft.com/en-us/um/people/lamport/tla/license.html'
+				 }
+			 }
+
+			 scm {
+				 connection 'scm:git:git://github.com/hhu-stups/tlatools.git'
+				 developerConnection 'scm:git:git@github.com:hhu-stups/tlatools.git'
+				 url 'https://github.com/hhu-stups/tlatools'
+			 }
+
+
+			 developers {
+				 developer {
+					 id 'bendisposto'
+					 name 'Jens Bendisposto'
+					 email 'jens@bendisposto.de'
+				 }
+			 }
+		 }
+	 }
+ }
+}
+}
-- 
GitLab