Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-02-09

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
06:42 ThreeOfEight Yes I suppose that makes sense, especially if you only use it from time to time
15:23 ammbauer is anybody on ubuntu 14.04 and got rid of "### Cannot execute Poly/ML in 32bit mode (missing shared libraries for C/C++)"?
15:24 ammbauer installing libstdc++6:i386 and lib32stdc++6 didn't help.
16:19 larsrh ammbauer: Try this:
16:19 larsrh $ /opt/Isabelle2016-RC3/contrib/polyml-5.6/x86-linux/polyml
16:19 larsrh the error message will hopefully tell you what the problem is
16:31 ammbauer ahh, yes. i renamed polyml-5.6/x86-linux some time ago because I didn't want to use the 32-bit version *facepalm* sorry, my mistake. move along.
16:32 ammbauer larsrh: thanks

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary