Prepare for release

Signed-off-by: Kakadu <[email protected]>

.github/workflows/blank.yml

@@ -6,8 +6,8 @@ on:
     paths-ignore:
       - 'README.md'
     branches:
-      - 'dune'
-  schedule:    
+      - 'master'
+  schedule:
     - cron: "0 13 * * 1"
     # https://jasonet.co/posts/scheduled-actions/
 

CHANGES

@@ -0,0 +1,6 @@
+## 0.2.0 (2021-03-04)
+
+### Changed
+
+- Upgrade for OCaml 4.10
+- Upgrade for ppxlib 0.22

OCanren-ppx.opam

@@ -1,7 +1,7 @@
-version: "0.1.0"
 opam-version: "2.0"
-name: "OCanren-ppx"
-synopsis: "Relational programming library in miniKanren manner. PPX extension"
+
+version: "0.2.0"
+description: "Relational programming library in miniKanren manner. PPX extension"
 maintainer: "Dmitrii Kosarev [email protected]"
 
 authors: [
@@ -35,4 +35,3 @@ dev-repo: "git+https://github.com/JetBrains-Research/OCanren.git"
 url {
   src: "git+https://github.com/JetBrains-Research/OCanren"
 }
-

OCanren.opam

@@ -1,8 +1,8 @@
 opam-version: "2.0"
-version: "0.1.0"
+version: "0.2.0"
 
-synopsis: "Relational programming library in miniKanren manner"
-maintainer: "Dmitrii Kosarev kakadu[email protected]"
+description: "Relational programming library in miniKanren manner"
+maintainer: "Dmitrii Kosarev kakadu@pm.me"
 homepage: "https://github.com/JetBrains-Research/OCanren"
 bug-reports: "https://github.com/JetBrains-Research/OCanren/issues"
 

README.md

@@ -2,7 +2,7 @@
 | ------------------------------- |
 | [![OCanren][1]][2] |
 
-[1]:  https://github.com/JetBrains-Research/OCanren/workflows/Build/badge.svg?branch=dune
+[1]:  https://github.com/JetBrains-Research/OCanren/workflows/Build/badge.svg?branch=master
 [2]:  https://github.com/JetBrains-Research/OCanren/actions
 
 
@@ -30,7 +30,7 @@ into [OCaml](http://ocaml.org). Nowadays, the implementation of `OCanren` strong
 Previous implementation was based on [microKanren](http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf)
 with [disequality constraints](http://scheme2011.ucombinator.org/papers/Alvis2011.pdf).
 
-<<<<<<< HEAD
+
 ## What is miniKanren
 
 `miniKanren` is an embedded language for constraint/logic/relational programming.
@@ -82,7 +82,7 @@ with [disequality constraints](http://scheme2011.ucombinator.org/papers/Alvis201
   </td>
 </tr>
 
-<\table>
+</table>
 
 ## OCanren vs. miniKanren
 
@@ -454,7 +454,7 @@ The `camlp5` syntax extensions is built by the command `dune build camlp5` (or `
 
 ## Building and running tests
 
-To build all tests type `dune build regression`.
+To build all tests type `dune build regression` (or `make test`).
 
 In order to build the single test use `dune build regression/testname.exe`.
 
@@ -501,4 +501,4 @@ Starting from version 8 Camlp5 requries extra library `pa_ppx.doc` to build docu
 
 # More info
 
-See autogenerated documentation or samples in `/regression` and `/samples` subdirectories.
+See samples in `/regression` and `/samples` subdirectories.

ppx/dune

@@ -1,27 +1,29 @@
 (executable
-  (public_name pp_fresh)
-  (package OCanren-ppx)
-  (libraries ppx_fresh)
-  (modules pp_fresh)
-)
+ (public_name pp_fresh)
+ (package OCanren-ppx)
+ (libraries ppx_fresh)
+ (modules pp_fresh))
 
 (executable
-  (public_name pp_repr)
-  (package OCanren-ppx)
-  (libraries ppx_repr)
-  (modules pp_repr)
-)
+ (public_name pp_repr)
+ (package OCanren-ppx)
+ (libraries ppx_repr)
+ (modules pp_repr))
 
 (executable
-  (public_name pp_distrib)
-  (package OCanren-ppx)
-  (libraries ppx_distrib)
-  (modules pp_distrib)
-)
+ (public_name pp_distrib)
+ (package OCanren-ppx)
+ (libraries ppx_distrib)
+ (modules pp_distrib))
 
 (executable
-  (public_name pp_noinjected)
-  (package OCanren-ppx)
-  (libraries ppx_noinjected)
-  (modules pp_noinjected)
-)
+ (public_name pp_noinjected)
+ (package OCanren-ppx)
+ (libraries ppx_noinjected)
+ (modules pp_noinjected))
+
+(executable
+ (public_name pp_ocanren_all)
+ (package OCanren-ppx)
+ (libraries ppx_repr ppx_fresh)
+ (modules pp_ocanren_all))