Closed adam-binks closed 2 years ago
Hey! I was setting up Tweety using Maven on the command line as per these instructions. To get mvn package to work without errors, I needed to add the following lines to pom.xml:
mvn package
pom.xml
<properties> <maven.compiler.source>1.8</maven.compiler.source> <maven.compiler.target>1.8</maven.compiler.target> </properties>
I'm not sure if targeting 1.8 is the correct value. Could be useful to add this to the instructions for other people getting started.
Hi! Thank you for your comment. I'll look into the issue
I added the missing lines you suggested to the pom. Thanks again for letting us know about this
Hey! I was setting up Tweety using Maven on the command line as per these instructions. To get
mvn package
to work without errors, I needed to add the following lines topom.xml
:I'm not sure if targeting 1.8 is the correct value. Could be useful to add this to the instructions for other people getting started.