Date: 2014-11-26
Categories: isabelle; research

Isabelle on 64bit ubuntu with 32bit libraries

Isabelle typically gives a warning when you try to run it on a 64bit machine:

### Cannot execute Poly/ML in 32bit mode (missing shared libraries for C/C++)
### Using bulky 64bit version of Poly/ML instead

On my ubuntu installation, the fix was to do the following:

sudo apt-get install lib32stdc++6

Hopefully this will be useful for someone! I couldn't find the answer on the web.



Related articles:

  • 2017-09-06 ICFP most influential paper from 10 years ago
  • 2017-03-16 tjr-btree: a CoW B-tree library in OCaml
  • 2015-04-27 Why operational models?
  • 2014-11-26 Isabelle on 64bit ubuntu with 32bit libraries