On Wednesday, April 17, 2013 7:23:32 PM UTC+8, Marko Topolnik wrote: > > Seems like old leiningen + new Clojure. You should upgrade to the latest > leiningen, which is 2.1.3. > > On Wednesday, April 17, 2013 3:04:18 AM UTC+2, ljcp...@gmail.com wrote: >> >> Dear all, >> >> When I installed leiningen and clojure, I run command "lein repl", >> then prompt some message like such ------- >> >> C:\lein>lein repl >> Warning: *default-javac-options* not declared dynamic and thus is not >> dynamicall >> y rebindable, but its name suggests otherwise. Please either indicate >> ^:dynamic >> *default-javac-options* or change the name. >> Warning: *silently* not declared dynamic and thus is not dynamically >> rebindable, >> but its name suggests otherwise. Please either indicate ^:dynamic >> *silently* or >> change the name. >> Warning: *skip-auto-compile* not declared dynamic and thus is not >> dynamically re >> bindable, but its name suggests otherwise. Please either indicate >> ^:dynamic *ski >> p-auto-compile* or change the name. >> Warning: *retry-limit* not declared dynamic and thus is not >> dynamically rebindab >> le, but its name suggests otherwise. Please either indicate ^:dynamic >> *retry-lim >> it* or change the name. >> REPL started; server listening on localhost:53849. >> >> I think some thing is wrong, and I spent a lot of time and can't solve >> these problem, >> so ask help for me, thanks very much! > >
-- -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.