Skip to content

Commit

Permalink
Update javasmt dependencies
Browse files Browse the repository at this point in the history 
Signed-off-by: Hernan Ponce de Leon <[email protected]>
  • Loading branch information
@hernanponcedeleon
hernanponcedeleon committed Oct 4, 2024
1 parent b7e7fa9 commit e05d1c7
Showing 1 changed file with 74 additions and 18 deletions.
92 changes: 74 additions & 18 deletions pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@
<maven-surefire-plugin.version>3.1.2</maven-surefire-plugin.version>

<!-- 3rd party solver versions -->
<java-smt.version>5.0.0</java-smt.version>
<java-smt.version>5.0.1</java-smt.version>
<bitwuzla.version>0.4.0-g4dbf3b1f</bitwuzla.version>
<boolector.version>3.2.2-g1a89c229</boolector.version>
<mathsat.version>5.6.10</mathsat.version>
Expand All @@ -39,7 +39,7 @@
<opensmt.version>2.6.0-g2f72cc0e</opensmt.version>
<yices2-api.version>4.1.1-734-g3732f7e08</yices2-api.version>
<yices2.version>2.6.2-396-g194350c1</yices2.version>
<z3.version>4.12.5</z3.version>
<z3.version>4.13.0</z3.version>

<!-- 3rd party library versions -->
<antlr.version>4.13.0</antlr.version>
Expand Down Expand Up @@ -154,14 +154,14 @@
<artifactId>javasmt-solver-z3</artifactId>
<version>${z3.version}</version>
<type>so</type>
<classifier>libz3</classifier>
<classifier>libz3-x64</classifier>
</dependency>
<dependency>
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<version>${z3.version}</version>
<type>so</type>
<classifier>libz3java</classifier>
<classifier>libz3java-x64</classifier>
</dependency>

<!-- Bitwuzla dependencies -->
Expand Down Expand Up @@ -342,14 +342,14 @@
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<type>so</type>
<classifier>libz3java</classifier>
<classifier>libz3java-x64</classifier>
<destFileName>libz3java.so</destFileName>
</artifactItem>
<artifactItem>
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<type>so</type>
<classifier>libz3</classifier>
<classifier>libz3-x64</classifier>
<destFileName>libz3.so</destFileName>
</artifactItem>

Expand Down Expand Up @@ -506,14 +506,14 @@
<artifactId>javasmt-solver-z3</artifactId>
<version>${z3.version}</version>
<type>dylib</type>
<classifier>libz3</classifier>
<classifier>libz3-x64</classifier>
</dependency>
<dependency>
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<version>${z3.version}</version>
<type>dylib</type>
<classifier>libz3java</classifier>
<classifier>libz3java-x64</classifier>
</dependency>
</dependencies>
<build>
Expand All @@ -538,14 +538,14 @@
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<type>dylib</type>
<classifier>libz3java</classifier>
<classifier>libz3java-x64</classifier>
<destFileName>libz3java.dylib</destFileName>
</artifactItem>
<artifactItem>
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<type>dylib</type>
<classifier>libz3</classifier>
<classifier>libz3-x64</classifier>
<destFileName>libz3.dylib</destFileName>
</artifactItem>
</artifactItems>
Expand All @@ -570,10 +570,66 @@
</os>
</activation>
<dependencies>
<!-- TODO: Add Z3 dependencies once they exist.
As for now, a user has to manually download
the correct Z3 binaries from Z3's repo -->
</dependencies>
<!-- Z3 dependencies -->
<dependency>
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<version>${z3.version}</version>
<type>dylib</type>
<classifier>libz3-arm64</classifier>
</dependency>
<dependency>
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<version>${z3.version}</version>
<type>dylib</type>
<classifier>libz3java-arm64</classifier>
</dependency>
</dependencies>
<build>
<pluginManagement>
<plugins>
<plugin>
<artifactId>maven-dependency-plugin</artifactId>
<executions>
<execution>
<id>copy</id>
<phase>initialize</phase>
<goals>
<goal>copy</goal>
</goals>
</execution>
</executions>
<configuration>
<outputDirectory>${project.build.directory}/${dat3m.library.path}</outputDirectory>
<artifactItems>
<!-- Z3 dependencies -->
<artifactItem>
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<type>dylib</type>
<classifier>libz3java-arm64</classifier>
<destFileName>libz3java.dylib</destFileName>
</artifactItem>
<artifactItem>
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<type>dylib</type>
<classifier>libz3-arm64</classifier>
<destFileName>libz3.dylib</destFileName>
</artifactItem>
</artifactItems>
</configuration>
</plugin>
<plugin>
<artifactId>maven-surefire-plugin</artifactId>
<configuration>
<argLine>@{argLine} -Djava.library.path=${project.build.directory}/${dat3m.library.path}:${java.library.path}</argLine>
</configuration>
</plugin>
</plugins>
</pluginManagement>
</build>
</profile>
<profile>
<id>windows</id>
Expand All @@ -589,14 +645,14 @@
<artifactId>javasmt-solver-z3</artifactId>
<version>${z3.version}</version>
<type>dll</type>
<classifier>libz3</classifier>
<classifier>libz3-x64</classifier>
</dependency>
<dependency>
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<version>${z3.version}</version>
<type>dll</type>
<classifier>libz3java</classifier>
<classifier>libz3java-x64</classifier>
</dependency>

<!-- Bitwuzla dependencies -->
Expand Down Expand Up @@ -653,14 +709,14 @@
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<type>dll</type>
<classifier>libz3java</classifier>
<classifier>libz3java-x64</classifier>
<destFileName>libz3java.dll</destFileName>
</artifactItem>
<artifactItem>
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<type>dll</type>
<classifier>libz3</classifier>
<classifier>libz3-x64</classifier>
<destFileName>libz3.dll</destFileName>
</artifactItem>

Expand Down

0 comments on commit e05d1c7

Please sign in to comment.