https://github.com/liflab/beepbeep-3-palettes
Tip revision: e11708c8001c8d23c196bdb076dfa647637b19c4 authored by Sylvain Hallé on 12 September 2023, 12:19:54 UTC
Some updates
Some updates
Tip revision: e11708c
config.xml
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!--
Configuration file for AntRun.
Use this file to override the default properties contained
in build.xml. For example, to override the build.jar.filename
property (which sets the name of the compiled jar file), add
an element
<jar>
<filename>foo</filename>
</jar>
inside the <build> element.
**Caveat emptor:** in some cases, changing this file and running ant
again will result in Ant using a cached version of the old file! Run
"ant dummy" to make sure that the correct data is being read. Otherwise
you might need to run "ant clean" and start over.
-->
<build>
<!-- Uncomment any of these if you want to override the build
script's default values -->
<!-- The project's name -->
<name>First-order logic extension for BeepBeep 3</name>
<!-- The project's version number -->
<version>0.6</version>
<!-- The project's package (with a trailing slash) -->
<package>ca/uqac/lif/cep/fol/</package>
<!-- The project's author. Currently this only
shows up in the footer of the Javadoc documentation. -->
<author>Sylvain Hallé</author>
<!-- The project's main class -->
<mainclass>ca.uqac.lif.cep.fol.Main</mainclass>
<!-- Target JDK version for compilation -->
<targetjdk>8</targetjdk>
<!-- Installation folders -->
<srcdir>src</srcdir>
<libdir>../lib</libdir>
<bindir>bin</bindir>
<docdir>doc</docdir>
<depdir>dep</depdir>
<test>
<srcdir>src</srcdir>
<bindir>bin</bindir>
<filenamepattern>**/*Test.*</filenamepattern>
</test>
<!-- All test reports merged into one -->
<report>
<junitdir>../tests</junitdir>
</report>
<!-- Output jar -->
<jar>
<filename>../jars/fol</filename>
<withdoc>false</withdoc>
</jar>
<!--
Write JAR dependencies here.
-->
<dependencies>
<dependency>
<!--
BeepBeep
-->
<name>BeepBeep</name>
<classname>ca.uqac.lif.cep.Processor</classname>
<files>
<jar>https://github.com/liflab/beepbeep-3/releases/download/v0.11/beepbeep-3-0.11.jar</jar>
</files>
<bundle>false</bundle>
</dependency>
</dependencies>
</build>