From 704b93c3adcebff8feffd0a9d11469f17fca6689 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D0=94=D0=B8=D0=BD=D0=BC=D1=83=D1=85=D0=B0=D0=BC=D0=B5?=
 =?UTF-8?q?=D1=82=D0=BE=D0=B2=20=D0=9C=D0=B0=D1=80=D0=B0=D1=82=20=D0=9B?=
 =?UTF-8?q?=D0=B8=D0=BD=D0=B0=D1=80=D0=BE=D0=B2=D0=B8=D1=87?=
 <dinmuhametov.ml@edu.spbstu.ru>
Date: Sat, 24 Apr 2021 19:35:55 +0300
Subject: [PATCH] README

---
 README.md            | 22 ++++++++++++++++++++++
 java/gen_native_h.sh | 13 +++++++++++++
 2 files changed, 35 insertions(+)
 create mode 100644 README.md
 create mode 100755 java/gen_native_h.sh

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..69f478e
--- /dev/null
+++ b/README.md
@@ -0,0 +1,22 @@
+# JavaBoolector
+
+JavaBoolector allows you to call [Boolector](https://github.com/boolector/boolector) from Java
+
+## Build
+
+Build jar with all the dependencies:
+
+```shell
+$ mvn clean package
+```
+
+## Adding new bindings
+
+    1) Add your native method to the Native class
+	
+	2) Generate JavaBoolector.h:
+```shell
+$ cd JavaBoolector/java
+$ ./gen_native_h.sh
+```
+	3) And implement your method in JavaBoolector.c
diff --git a/java/gen_native_h.sh b/java/gen_native_h.sh
new file mode 100755
index 0000000..9747728
--- /dev/null
+++ b/java/gen_native_h.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+java=$(pwd)
+c=$java/../c
+javac -h $c $java/src/main/java/org/jetbrains/research/boolector/Native.java
+native=$c/org_jetbrains_research_boolector_Native.h
+
+if [ -f $native ] 
+then 
+	mv $native $c/JavaBoolector.h
+else
+	echo "Header not generated"
+fi