Instantly share code, notes, and snippets.

@ankhers ankhers/idris error Secret
Created Jan 28, 2019

Embed
What would you like to do?
[nix-shell:~/books/idris]$ idris hello_world.idr
____ __ _
/ _/___/ /____(_)____
/ // __ / ___/ / ___/ Version 1.3.1
_/ // /_/ / / / (__ ) http://www.idris-lang.org/
/___/\__,_/_/ /_/____/ Type :? for help
Idris is free software with ABSOLUTELY NO WARRANTY.
For details type :warranty.
*hello_world> :exec
In file included from /nix/store/4sbvpzm6lvjr9cz8cmghjhb35i60irhj-idris-1.3.1-data/share/ghc-8.6.3/x86_64-linux-ghc-8.6.3/idris-1.3.1/rts/idris_rts.h:522:0,
from /run/user/1000/idris25869-1.c:2:
/nix/store/4sbvpzm6lvjr9cz8cmghjhb35i60irhj-idris-1.3.1-data/share/ghc-8.6.3/x86_64-linux-ghc-8.6.3/idris-1.3.1/rts/idris_gmp.h:5:10: fatal error: gmp.h: No such file or directory
#include <gmp.h>
^~~~~~~
compilation terminated.
FAILURE: "/nix/store/isg8rxaxkijl9x3hr2gzsf8pqfnqxg3k-gcc-wrapper-7.4.0/bin/gcc" ["-fwrapv","-fno-strict-overflow","-std=c99","-pipe","-fdata-sections","-ffunction-sections","-D_POSIX_C_SOURCE=200809L","-DHAS_PTHREAD","-DIDRIS_ENABLE_STATS","-I.","-Wl,-gc-sections","/run/user/1000/idris25869-1.c","-L/nix/store/4sbvpzm6lvjr9cz8cmghjhb35i60irhj-idris-1.3.1-data/share/ghc-8.6.3/x86_64-linux-ghc-8.6.3/idris-1.3.1/rts","-lidris_rts","-lgmp","-DIDRIS_GMP","-lpthread","-I/nix/store/4sbvpzm6lvjr9cz8cmghjhb35i60irhj-idris-1.3.1-data/share/ghc-8.6.3/x86_64-linux-ghc-8.6.3/idris-1.3.1/rts","-lm","-I.","-I/nix/store/mma2ff9v5c7s50r9md8xxfw9qv58bfh3-idris-1.3.1/libs/prelude","-I/nix/store/mma2ff9v5c7s50r9md8xxfw9qv58bfh3-idris-1.3.1/libs/base","-I.","-I/nix/store/wsm1zzcrhlc0scs4hfsrv05ba1932d75-idris-1.3.1/libs/prelude","-I/nix/store/wsm1zzcrhlc0scs4hfsrv05ba1932d75-idris-1.3.1/libs/base","-o","/run/user/1000/idris25869-0"]
/run/user/1000/idris25869-0: rawSystem: runInteractiveProcess: exec: permission denied (Permission denied)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment