Comments (10)
Ah, delightful! I've added a see-also link to elle.
from elle.
from elle.
As noted in the readme, every release is already published on clojars.
Missed it. Thanks, Kyle.
from elle.
Unfortunately Elle on Clojars is not suitable to run standalone, see:
$ curl -O -L https://clojars.org/repo/elle/elle/0.1.2/elle-0.1.2.jar
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
100 154 100 154 0 0 158 0 --:--:-- --:--:-- --:--:-- 158
100 67282 100 67282 0 0 29757 0 0:00:02 0:00:02 --:--:-- 698k
$ java -jar elle-0.1.2.jar
Error: Could not find or load main class clojure.main
Caused by: java.lang.ClassNotFoundException: clojure.main
$
Would it be possible to publish self-contained (I'm not familiar with Java, probably it's a static Jar file) Elle on Github Releases?
If you are agree but don't want to spend time on it I can do it myself.
from elle.
from elle.
Like you don't have Maven or Gradle or lein or SBT/etc.
Right. I want to use jar with Elle as a blackbox and communicate with it in a project that don't use Java or Clojure at all. That's why I'm asking about fat jar. Would it be possible?
from elle.
Should Elle's demo work for standalone jar?
sergeyb@pony:~/sources/elle$ lein deps
sergeyb@pony:~/sources/elle$ lein uberjar
Created /home/sergeyb/sources/elle/target/elle-0.1.3-SNAPSHOT.jar
Created /home/sergeyb/sources/elle/target/elle-0.1.3-SNAPSHOT-standalone.jar
sergeyb@pony:~/sources/elle$ java -jar target/elle-0.1.3-SNAPSHOT-standalone.jar
Clojure 1.2.1
user=> (require '[elle.list-append :as a])
java.lang.NoSuchMethodError: 'clojure.lang.Keyword clojure.lang.RT.keyword(java.lang.String, java.lang.String)' (list_append.clj:1)
user=>
from elle.
from elle.
Oh, uh, no idea---never tried that before. Elle is a library, so you'd probably want to write some sort of wrapper program that would call it and do whatever sort of I/O you needed--presumably reading files or stdin, parsing and massaging input, parsing args, invoking the checker, etc
Agree. It looks as a separate business :) I'll try to implement cli for Elle in a spare time.
from elle.
Made a separate tool for checking consistency based on Knossos and Elle -
https://github.com/ligurio/elle-cli
from elle.
Related Issues (17)
- Example for running test-cases with Elle? HOT 1
- Build fails with `lein check` HOT 4
- Elle checks :fail results? HOT 1
- The rw-register checker succeeds on the history: wx1, rx2.
- Feature: add delete operation HOT 2
- Could I check a history that with real-time order HOT 7
- Could Elle tell the difference between snapshot isolation and strong-session-snapshot-isolation? HOT 7
- Example with list-append history is broken in 0.1.6 HOT 1
- Elle couldn't check list-append example described in a paper HOT 2
- Elle may miss two types of transaction anomalies: HOT 4
- list-append/sorted-values might be broken with history object HOT 3
- Is there any example on how to use the gen function? HOT 2
- PL-2L(monotonic-view) G-monotonic: experiment with adding the anomaly HOT 2
- Cannot run on the latest version of Clojure on Ubuntu 22.04: reducers.clj is not found HOT 8
- Modeling linearizable keys with the list-append workload HOT 7
- False positive on lost update HOT 2
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 elle.