Skip to content

Commit 59f3217

Browse files
rcosta358rcosta358
committed
Update Links and Maven Configs
1 parent 5bf4eab commit 59f3217

File tree

7 files changed

+174
-21
lines changed

7 files changed

+174
-21
lines changed

‎README.md‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -18,12 +18,12 @@ This project contains the LiquidJava verifier and its API, as well as some examp
1818

1919
You can find out more about LiquidJava in the following resources:
2020

21-
* [LiquidJava Website](https://catarinagamboa.github.io/liquidjava.html)
21+
* [LiquidJava Website](https://liquid-java.github.io)
2222
* [VS Code Extension (Marketplace)](https://marketplace.visualstudio.com/items?itemName=AlcidesFonseca.liquid-java)
23-
* [VS Code Extension (Source Code)](https://github.com/CatarinaGamboa/vscode-liquidjava)
24-
* [LiquidJava Examples](https://github.com/CatarinaGamboa/liquidjava-examples)
25-
* [LiquidJava External Libraries Examples](https://github.com/CatarinaGamboa/liquid-java-external-libs)
26-
<!-- * [Formalization of LiquidJava](https://github.com/CatarinaGamboa/liquidjava-formalization) - not opensource yet -->
23+
* [VS Code Extension (Source Code)](https://github.com/liquid-java/vscode-liquidjava)
24+
* [LiquidJava Examples](https://github.com/liquid-java/liquidjava-examples)
25+
* [LiquidJava External Libraries Examples](https://github.com/liquid-java/liquid-java-external-libs)
26+
<!-- * [Formalization of LiquidJava](https://github.com/liquid-java/liquidjava-formalization) - not opensource yet -->
2727

2828
## Getting Started
2929

@@ -66,7 +66,7 @@ dependencies {
6666

6767
#### Setup
6868

69-
1. Clone the repository: `git clone https://github.com/CatarinaGamboa/liquidjava.git`
69+
1. Clone the repository: `git clone https://github.com/liquid-java/liquidjava.git`
7070
2. Build the project `mvn clean install`
7171
3. Run tests to verify installation: `mvn test`
7272
4. If importing into an IDE, import the project as a Maven project using the root `pom.xml`

‎docs/design/evaluation_survey/README.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Find the examples described in the Study in https://github.com/CatarinaGamboa/liquidjava-examples
1+
Find the examples described in the Study in https://github.com/liquid-java/liquidjava-examples

‎liquidjava-api/pom.xml‎

Lines changed: 16 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,18 @@
33
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd">
44
<modelVersion>4.0.0</modelVersion>
55

6+
<parent>
7+
<groupId>liquidjava</groupId>
8+
<artifactId>liquidjava-umbrella</artifactId>
9+
<version>1.0</version>
10+
</parent>
11+
612
<groupId>io.github.liquid-java</groupId>
713
<artifactId>liquidjava-api</artifactId>
814
<version>0.0.3</version>
915
<name>liquidjava-api</name>
1016
<description>LiquidJava API</description>
11-
<url>https://github.com/CatarinaGamboa/liquidjava</url>
17+
<url>https://github.com/liquid-java/liquidjava</url>
1218
<packaging>jar</packaging>
1319

1420
<licenses>
@@ -32,6 +38,12 @@
3238
<email>alcides@users.noreply.github.com</email>
3339
<url>https://github.com/alcides</url>
3440
</developer>
41+
<developer>
42+
<id>pcanelas</id>
43+
<name>Paulo Canelas</name>
44+
<email>pcanelas@users.noreply.github.com</email>
45+
<url>https://github.com/pcanelas</url>
46+
</developer>
3547
<developer>
3648
<id>rcosta358</id>
3749
<name>Ricardo Costa</name>
@@ -41,9 +53,9 @@
4153
</developers>
4254

4355
<scm>
44-
<connection>scm:git:git://github.com/CatarinaGamboa/liquidjava.git</connection>
45-
<developerConnection>scm:git:ssh://github.com:CatarinaGamboa/liquidjava.git</developerConnection>
46-
<url>https://github.com/CatarinaGamboa/liquidjava/tree/main</url>
56+
<connection>scm:git:git://github.com/liquid-java/liquidjava.git</connection>
57+
<developerConnection>scm:git:ssh://github.com:liquid-java/liquidjava.git</developerConnection>
58+
<url>https://github.com/liquid-java/liquidjava/tree/main</url>
4759
</scm>
4860

4961
<build>

‎liquidjava-api/release.sh‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎liquidjava-example/test1.txt‎

Lines changed: 0 additions & 5 deletions
This file was deleted.

‎liquidjava-verifier/pom.xml‎

Lines changed: 131 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,13 +9,55 @@
99
<version>1.0</version>
1010
</parent>
1111

12-
<groupId>liquidjava-verifier
13-
</groupId>
12+
<groupId>io.github.liquid-java</groupId>
1413
<artifactId>liquidjava-verifier</artifactId>
15-
<version>5.2-SNAPSHOT</version>
14+
<version>0.0.1</version>
1615
<name>liquidjava-verifier</name>
16+
<description>LiquidJava Verifier</description>
17+
<url>https://github.com/liquid-java/liquidjava</url>
1718
<packaging>jar</packaging>
1819

20+
<licenses>
21+
<license>
22+
<name>MIT License</name>
23+
<url>https://opensource.org/licenses/MIT</url>
24+
<distribution>repo</distribution>
25+
</license>
26+
</licenses>
27+
28+
<developers>
29+
<developer>
30+
<id>CatarinaGamboa</id>
31+
<name>Catarina Gamboa</name>
32+
<email>CatarinaGamboa@users.noreply.github.com</email>
33+
<url>https://github.com/CatarinaGamboa</url>
34+
</developer>
35+
<developer>
36+
<id>alcides</id>
37+
<name>Alcides Fonseca</name>
38+
<email>alcides@users.noreply.github.com</email>
39+
<url>https://github.com/alcides</url>
40+
</developer>
41+
<developer>
42+
<id>pcanelas</id>
43+
<name>Paulo Canelas</name>
44+
<email>pcanelas@users.noreply.github.com</email>
45+
<url>https://github.com/pcanelas</url>
46+
</developer>
47+
<developer>
48+
<id>rcosta358</id>
49+
<name>Ricardo Costa</name>
50+
<email>rcosta358@users.noreply.github.com</email>
51+
<url>https://github.com/rcosta358</url>
52+
</developer>
53+
</developers>
54+
55+
<scm>
56+
<connection>scm:git:git://github.com/liquid-java/liquidjava.git</connection>
57+
<developerConnection>scm:git:ssh://github.com:liquid-java/liquidjava.git</developerConnection>
58+
<url>https://github.com/liquid-java/liquidjava/tree/main</url>
59+
</scm>
60+
1961
<build>
2062
<finalName>${jar.finalName}</finalName>
2163
<plugins>
@@ -95,24 +137,109 @@
95137
</execution>
96138
</executions>
97139
</plugin>
140+
141+
<!-- Generate source JAR -->
142+
<plugin>
143+
<groupId>org.apache.maven.plugins</groupId>
144+
<artifactId>maven-source-plugin</artifactId>
145+
<version>3.3.0</version>
146+
<executions>
147+
<execution>
148+
<id>attach-sources</id>
149+
<goals>
150+
<goal>jar-no-fork</goal>
151+
</goals>
152+
</execution>
153+
</executions>
154+
</plugin>
155+
156+
<!-- Generate Javadoc JAR -->
157+
<plugin>
158+
<groupId>org.apache.maven.plugins</groupId>
159+
<artifactId>maven-javadoc-plugin</artifactId>
160+
<version>3.6.0</version>
161+
<executions>
162+
<execution>
163+
<id>attach-javadocs</id>
164+
<goals>
165+
<goal>jar</goal>
166+
</goals>
167+
</execution>
168+
</executions>
169+
<configuration>
170+
<doclint>none</doclint>
171+
<source>20</source>
172+
</configuration>
173+
</plugin>
174+
175+
<!-- GPG Signing -->
176+
<plugin>
177+
<groupId>org.apache.maven.plugins</groupId>
178+
<artifactId>maven-gpg-plugin</artifactId>
179+
<version>3.1.0</version>
180+
<configuration>
181+
<skip>${gpg.skip}</skip>
182+
</configuration>
183+
<executions>
184+
<execution>
185+
<id>sign-artifacts</id>
186+
<phase>verify</phase>
187+
<goals>
188+
<goal>sign</goal>
189+
</goals>
190+
</execution>
191+
</executions>
192+
</plugin>
193+
194+
<!-- Skip default deploy -->
195+
<plugin>
196+
<groupId>org.apache.maven.plugins</groupId>
197+
<artifactId>maven-deploy-plugin</artifactId>
198+
<version>3.1.2</version>
199+
<configuration>
200+
<skip>true</skip>
201+
</configuration>
202+
</plugin>
203+
204+
<!-- Central Publishing Plugin -->
205+
<plugin>
206+
<groupId>org.sonatype.central</groupId>
207+
<artifactId>central-publishing-maven-plugin</artifactId>
208+
<version>0.9.0</version>
209+
<extensions>true</extensions>
210+
<configuration>
211+
<publishingServerId>central</publishingServerId>
212+
<skipPublishing>${maven.deploy.skip}</skipPublishing>
213+
<!-- <autoPublish>true</autoPublish> -->
214+
</configuration>
215+
</plugin>
98216
</plugins>
99217
</build>
100218

219+
<distributionManagement>
220+
<repository>
221+
<id>central</id>
222+
<url>https://central.sonatype.com/api/v1/publisher</url>
223+
</repository>
224+
</distributionManagement>
225+
101226
<properties>
102227
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
228+
<javaVersion>20</javaVersion>
103229
<maven.compiler.source>20</maven.compiler.source>
104230
<maven.compiler.target>20</maven.compiler.target>
105231
<!-- versions -->
106232
<version.junit>5.10.0</version.junit>
107233
<version.memcompiler>1.3.0</version.memcompiler>
108234
<version.spoon>10.4.2</version.spoon>
109235
<version.z3>4.8.17</version.z3>
110-
<version.liquidjava>1.0</version.liquidjava>
111236
<!-- plugin versions -->
112237
<pVersion.compiler>3.8.0</pVersion.compiler>
113238
<pVersion.surefire>3.1.2</pVersion.surefire>
114239
<!-- name of the generated plugin -->
115240
<jar.finalName>${project.artifactId}-${project.version}</jar.finalName>
241+
<gpg.skip>true</gpg.skip>
242+
<maven.deploy.skip>true</maven.deploy.skip>
116243
</properties>
117244

118245
<repositories>

‎release.sh‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
#!/bin/bash
2+
3+
if [ -z "$1" ]; then
4+
echo "Usage: $0 <api|verifier>"
5+
exit 1
6+
fi
7+
8+
MODULE=$1
9+
10+
if [ "$MODULE" != "api" ] && [ "$MODULE" != "verifier" ]; then
11+
echo "Invalid module: $MODULE"
12+
echo "Usage: $0 <api|verifier>"
13+
exit 1
14+
fi
15+
16+
MODULE_DIR="liquidjava-$MODULE"
17+
18+
cd "$MODULE_DIR"
19+
mvn -Dgpg.skip=false -Dmaven.deploy.skip=false clean deploy
20+
cd ..

0 commit comments

Comments
 (0)