Madoko does not compile

[Michaël de Groot]

Hi,

When using jake to compile madoko I get an error from a semi-hardcoded dependancy:
root@madoko:~/madoko# jake

../koka-0.6/out/release/koka-0.6.0-dev -isrc -i../koka-0.6/lib -c -olib --outname=madoko -v main
/bin/sh: 1: ../koka-0.6/out/release/koka-0.6.0-dev: not found
jake aborted.
Error: Process exited with error.
at api.fail (/usr/lib/node_modules/jake/lib/api.js:336:18)
at Exec. (/usr/lib/node_modules/jake/lib/utils/index.js:124:9)
(See full trace by running task with --trace)

There is no ../koka-0.6 in my environment. I guess this is something semi hardcoded from your environment?

Thanks,
Michaël

[Mingye Wang]

It's in the Jakefile!

madoko/Jakefile.js

Lines 28 to 42 in 1895050

 // 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 compiler VARIANT=release