Cannot run program "stack"

[Suhabe Bugrara]

I'm getting the error below when doing the following steps:

$ git clone https://github.com/runtimeverification/verified-smart-contracts
$ cd verified-smart-contracts/erc20/zeppelin
$ make

.....
[INFO] --- maven-antrun-plugin:1.7:run (build-haskell) @ haskell-backend ---
[INFO] Executing tasks

main:
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] K Framework Tool Parent ............................ SUCCESS [  0.170 s]
[INFO] K Framework KORE ................................... SUCCESS [ 17.425 s]
[INFO] K Framework Tool Kernel ............................ SUCCESS [  3.915 s]
[INFO] K Framework KTree .................................. SUCCESS [  0.065 s]
[INFO] K Framework Ocaml Backend .......................... SUCCESS [  0.366 s]
[INFO] K Framework Java Backend ........................... SUCCESS [  1.975 s]
[INFO] K Framework Haskell Backend ........................ FAILURE [  0.339 s]
[INFO] K Framework LLVM Backend ........................... SKIPPED
[INFO] K Framework Tool Distribution ...................... SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 24.829 s
[INFO] Finished at: 2019-02-06T09:30:35-08:00
[INFO] Final Memory: 66M/1446M
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-antrun-plugin:1.7:run (build-haskell) on project haskell-backend: An Ant BuildException has occured: Execute failed: java.io.IOException: Cannot run program "stack" (in directory "/home/sbugrara/verified-smart-contracts/.build/k/haskell-backend/src/main/native/haskell-backend"): error=2, No such file or directory
[ERROR] around Ant part ...<exec failonerror="true" dir="/home/sbugrara/verified-smart-contracts/.build/k/haskell-backend/src/main/native/haskell-backend" executable="stack">... @ 4:150 in /home/sbugrara/verified-smart-contracts/.build/k/haskell-backend/target/antrun/build-main.xml
[ERROR] -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoExecutionException
[ERROR] 
[ERROR] After correcting the problems, you can resume the build with the command
[ERROR]   mvn <goals> -rf :haskell-backend
../../resources/kprove.mak:78: recipe for target '/home/sbugrara/verified-smart-contracts/.build/k' failed
make: *** [/home/sbugrara/verified-smart-contracts/.build/k] Error 1
``

[Daejun Park]

#181 should fix your issue.

[Daejun Park]

now merged to the master.

[Suhabe Bugrara]

That worked! Thanks!

[Dorel Lucanu]

I downloaded today a fresh copy of K and I got the same error.