From 9af0668d5cb940c655d297503f2b7e45d99f1fcc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ma=C3=ABl=20Valais?= Date: Sat, 10 Jun 2017 17:18:09 +0200 Subject: [PATCH] Explain how to compile madoko from scratch I had to edit the 'jake VARIANT=release' to 'jake variant=release' as the first one was not working. --- Jakefile.js | 2 +- readme.md | 18 ++++++++++++++++++ 2 files changed, 19 insertions(+), 1 deletion(-) diff --git a/Jakefile.js b/Jakefile.js index 16786026..e899b3e5 100644 --- a/Jakefile.js +++ b/Jakefile.js @@ -39,7 +39,7 @@ var webclient = path.join(web,"client"); // // and build the release version: // -// > jake compiler VARIANT=release +// > jake compiler variant=release var kokaDir = "../koka-0.6" var libraryDir= path.join(kokaDir,"lib") diff --git a/readme.md b/readme.md index 86960fc4..2bdc4c72 100644 --- a/readme.md +++ b/readme.md @@ -41,6 +41,24 @@ MacOSX, and is used on the [Madoko.net] server as well. [MacTeX]: http://tug.org/mactex/ [Madoko.net]: https://www.madoko.net +## Compile madoko + +We compile madoko at this time with an older version of Koka. Check out Koka +in a peer directory of Madoko; i.e. `.../dev/madoko` and `.../dev/koka-0.6`: + + cd .. + git clone https://github.com/koka-lang/koka.git koka-0.6 + +Then set it to the older version: + + cd koka-0.6 + git checkout v0.6.0-dev + npm install + +and build the release version: + + jake variant=release + ## Madoko philosophy The main design goal of Madoko is to enable light-weight creation of