ivy_mathsat.xml

<?xml version="1.0" encoding="UTF-8"?>

<!--
This file is part of JavaSMT,
an API wrapper for a collection of SMT solvers:
https://github.com/sosy-lab/java-smt

SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>

SPDX-License-Identifier: Apache-2.0
-->

<ivy-module version="2.0"
    xmlns:e="http://ant.apache.org/ivy/extra"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:noNamespaceSchemaLocation="http://ant.apache.org/ivy/schemas/ivy.xsd">
    <info organisation="org.sosy_lab" module="javasmt-solver-mathsat">
        <license name="For research and evaluation purposes only" url="http://mathsat.fbk.eu/download.html"/>
        <description>
            MathSAT solver and the JavaSMT JNI wrapper.
        </description>
    </info>

    <configurations>
        <!-- default config, provides only x64 for backwards-compatibility -->
        <conf name="solver-mathsat" extends="solver-mathsat-x64"/>

        <!-- main configurations -->
        <conf name="solver-mathsat-x64" extends="solver-mathsat-linux-x64,solver-mathsat-windows-x64"/>
        <conf name="solver-mathsat-arm64" extends="solver-mathsat-linux-arm64"/>

        <!-- basic configurations -->
        <conf name="solver-mathsat-linux-x64"/>
        <conf name="solver-mathsat-linux-arm64"/>
        <conf name="solver-mathsat-windows-x64"/>
    </configurations>

    <publications defaultconf="solver-mathsat">
        <!-- Linux x64 files -->
        <artifact name="libmathsat5j" conf="solver-mathsat-linux-x64" e:arch="x64" type="shared-object" ext="so"/>

        <!-- Linux arm64 files -->
        <artifact name="libmathsat5j" conf="solver-mathsat-linux-arm64" e:arch="arm64" type="shared-object" ext="so"/>

        <!-- Windows x64 files -->
        <artifact name="mathsat5j" conf="solver-mathsat-windows-x64" e:arch="x64" type="dll" ext="dll"/>
        <artifact name="mathsat"   conf="solver-mathsat-windows-x64" e:arch="x64" type="dll" ext="dll"/>
        <artifact name="mpir"      conf="solver-mathsat-windows-x64" e:arch="x64" type="dll" ext="dll"/>
    </publications>
    <dependencies></dependencies>

</ivy-module>