From ed5e67a39a8710f3a36c31b864437d5898585e33 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 28 Oct 2024 17:35:51 +0100
Subject: [PATCH] Add missing line to publishing configuration
---
tlatools/org.lamport.tlatools/build.gradle | 2 ++
1 file changed, 2 insertions(+)
diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle
index c304e28fc..f639b1a1b 100644
--- a/tlatools/org.lamport.tlatools/build.gradle
+++ b/tlatools/org.lamport.tlatools/build.gradle
@@ -53,6 +53,8 @@ task tlatools(type: Copy, dependsOn: build) {
publishing {
publications {
mavenJava(MavenPublication) {
+ from components.java
+
pom {
name = "TLA+ Tools"
description = "Modified version of the TLA+ tools for usage in ProB"
--
GitLab