Comments (4)
from princess.
@pruemmer Thanks for fixing the bug. I am using princess as a Java Library and need the fixed version of princess for referencing it as a dependency in my project. Unfortunately I was unable to mvn install
princess myself.
I did use the scripts from https://central.sonatype.com/artifact/io.github.uuverifiers/princess-parser_2.12/2023-04-07/overview and removed the <scm>
-tag in order to use the files of the local cloned repository.
Maven clean install
resulted in [WARNING] JAR will be empty - no content was marked for inclusion!
though.
Can you please tell me how to mvn install
princess by using the cloned version of the project?
If this is not possible, then publishing the newest version to maven central would help me aswell.
from princess.
from princess.
Thank you for the quick response. This worked for me.
from princess.
Related Issues (8)
- Unsoundness with quantifiers and ADTs HOT 2
- No model despite +model HOT 4
- Inconsistant cast
- Effect of option [+-]dnfConstraints HOT 6
- Model evaluation for rational theory is incomplete and does not simplify terms
- Model evaluation for rational theory crashes in MatchError
- [Ostrich] String theory crashes when solving query with STR_LESS_EQUAL HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from princess.