Re: [Q] Deploying two artefacts/jars with same group/artefactid via Leiningen

2019-04-05 Thread henrik42
@Francis Great that works. Thank's! The deploy task expects a repo argument in this case though. So I came up with this: https://github.com/henrik42/buttle/blob/1.0.0/plugin/leiningen/deploy_driver.clj With this I can use this in project.clj https://github.com/henrik42/buttle/blob/master/p

[Q] How to release with Leiningen and `with-profile`?

2019-04-05 Thread henrik42
I'd like to do a `lein with-profile +local-repo release` and `lein with-profile +clojars release`. This way I want to control which repo the deploy goes to. I tried but it didn't work. Here you find my attempt: https://github.com/henrik42/buttle/blob/master/project.clj#L92 Looking at the sources

Call for Contributions--First miniKanren and Relational Programming Workshop

2019-04-05 Thread William Byrd
DEADLINE: 15 May 2019, (Any time in the world) WEBSITE: https://icfp19.sigplan.org/home/minikanren-2019 LOCATION: Berlin, Germany (co-located with ICFP) DATE: 22 August 2019 The 2019 First miniKanren and Relational Programming Workshop is calling for submissions. Full papers are due 15 May 2019.