Created

Embed URL

HTTPS clone URL

SSH clone URL

You can clone with HTTPS or SSH.

Download Gist

Julia 0.2.1 readline patch

View julia-0.2.1-readline.patch
1 2 3 4 5 6 7 8 9 10 11
--- julia/ui/repl-readline.c.orig 2014-03-13 16:44:17.680219497 +0100
+++ julia/ui/repl-readline.c 2014-03-13 16:46:40.129663942 +0100
@@ -831,7 +831,7 @@
rl_instream = fopen("/dev/null","r");
prompt_length = 7; // == strlen("julia> ")
init_history();
- rl_startup_hook = (Function*)init_rl;
+ rl_startup_hook = (rl_hook_func_t*)init_rl;
}
static char *prompt_string=NULL;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.