Permalink
Browse files

Release 0.4.5

  • Loading branch information...
mantkiew committed Mar 16, 2017
1 parent 15d8fff commit c991313c19869f5d56a9f0ca05de1fdcb37d2783
Showing with 14 additions and 12 deletions.
  1. +1 −1 LICENSE
  2. +9 −7 README.md
  3. +4 −4 messages/install.md
View
@@ -1,6 +1,6 @@
The MIT License (MIT)
-Copyright (c) 2014-2016 GSD Lab, University of Waterloo, Canada, http://gsd.uwaterloo.ca
+Copyright (c) 2014-2017 GSD Lab, University of Waterloo, Canada, http://gsd.uwaterloo.ca
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
View
@@ -1,11 +1,11 @@
Clafer Tools
=============
-v0.4.4
+v0.4.5
Integration of [Clafer Compiler and Instance Generators](http://clafer.org) into [Sublime Text 2/3](http://www.sublimetext.com/).
-See release notes for [Clafer 0.4.4](http://www.clafer.org/2016/09/clafer-tools-044-released.html).
+See release notes for [Clafer 0.4.5](http://www.clafer.org/2017/03/clafer-claferig-claferwiki-045-released.html).
Contributors
------------
@@ -28,9 +28,11 @@ Features and Usage
Installation
------------
-1. Install [Sublime Text 3](http://www.sublimetext.com/3) or [Sublime Text 2](http://www.sublimetext.com/2)
+1. Install [Sublime Text 3](http://www.sublimetext.com/3).
+On Ubuntu, add the [WebUpd8 PPA](https://launchpad.net/~webupd8team/+archive/ubuntu/sublime-text-3) then execute `sudo apt install sublime-text-installer`.
2. In Sublime Text
- * Install [Package Control](https://sublime.wbond.net/installation)
+ * Install `Package Control`
+ * `Tools->Install Package Control...`
* Install packages `SublimeREPL`, `Clafer Tools` and (optionally) `SidebarEnhancements`
* `Preferences->Package Control->Install Package`
* type the name of the package
@@ -40,9 +42,9 @@ Installation
* on Mac, use the `merge` option not `replace`
3. Download the latest binary distribution of Clafer Tools
* [Clafer Tools](http://gsd.uwaterloo.ca/clafer-tools-binary-distributions)
- * Unzip the contents of the folder `clafer-tools-0.4.4` into `Packages/Clafer-Bin`
- * Make sure the folder structure is NOT `Packages/Clafer-Bin/clafer-tools-0.4.4`, that is, the contents of the folder `clafer-tools-0.4.4` are directly inside `Clafer-Bin`
- * add `Clafer-Bin` to the variable `PATH`.
+ * Unzip the contents of the folder `clafer-tools-0.4.5` into `Packages/Clafer-Bin`
+ * Make sure the folder structure is NOT `Packages/Clafer-Bin/clafer-tools-0.4.5`, that is, the contents of the folder `clafer-tools-0.4.5` are directly inside `Clafer-Bin`
+ * (optional) add `Clafer-Bin` to the variable `PATH`.
4. On Windows only
* Alloy-based instance generator only works with 32bit Java on Windows and if you only have 64bit Java installation, you will see an error: `Exception in thread "main" java.lang.UnsatisfiedLinkError: no minisatproverx1 in java.library.path`.
View
@@ -7,8 +7,8 @@ To finish the installation
* copy the folder `SublimeREPL` from `Clafer Tools` to `Packages`
2. Download the latest binary distribution of Clafer Tools
* [Clafer Tools](http://gsd.uwaterloo.ca/clafer-tools-binary-distributions)
- * Unzip the contents of the folder `clafer-tools-0.4.4` into `Packages/Clafer-Bin`
- * Make sure the folder structure is NOT `Packages/Clafer-Bin/clafer-tools-0.4.4`, that is, the contents of the folder `clafer-tools-0.4.4` are directly inside `Clafer-Bin`
+ * Unzip the contents of the folder `clafer-tools-0.4.5` into `Packages/Clafer-Bin`
+ * Make sure the folder structure is NOT `Packages/Clafer-Bin/clafer-tools-0.4.5`, that is, the contents of the folder `clafer-tools-0.4.5` are directly inside `Clafer-Bin`
* add `Clafer-Bin` to the variable `PATH`.
4. On Windows only
* Alloy-based instance generator only works with 32bit Java on Windows and if you only have 64bit Java installation, you will see an error: `Exception in thread "main" java.lang.UnsatisfiedLinkError: no minisatproverx1 in java.library.path`.
@@ -21,8 +21,6 @@ To finish the installation
* `Preferences->Package Settings->SublimeREPL->Settings - Default`
* set `default_extended_env` as `"default_extend_env": {"PATH": "C:/Program Files (x86)/Java/jdk1.8.0_102/bin;{PATH}"},`
-* ClaferSMT in Clafer Tools 0.3.6.1 binary depends on the python package `bintrees`, to install execute `pip install bintrees` on Windows or `pip3 install bintrees` on Linux and Mac.
-
* On Linux and Mac
* the Python 3 executable is called `python3` and the best solution is to create a symlink called `python` pointing to `/usr/bin/python3`
* in `Packages/Clafer Tools` execute `ln -s /usr/bin/python3 python`.
@@ -39,3 +37,5 @@ To finish the installation
4. the workaround is to:
* create a symlink `sudo ln -s ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/Clafer-Bin/clafer /usr/bin/clafer` so that `clafer` executable will be visible on the default `PATH`.
5. to conveniently use ClaferChocoIG, move the script `claferchocoig.sh` (included in Mac binary distro) to `/usr/bin` by executing `sudo mv ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/Clafer-Bin/claferchocoig.sh /usr/bin`.
+
+* ClaferSMT in Clafer Tools 0.3.6.1 binary depends on the python package `bintrees`, to install execute `pip install bintrees` on Windows or `pip3 install bintrees` on Linux and Mac.

0 comments on commit c991313

Please sign in to comment.