Thursday, January 7, 2010

Installing Inferno

For all those who don't know what exactly Inferno is,
please visit wiki page of inferno here
The web page maintained by company is
http://www.vitanuova.com/inferno/


Installing inferno proved to be quite easy task. I have 32 bit Ubuntu-9.10 distribution running, and following are the steps which worked for me. You need to visit Inferno 4th Edition page for downloads and instructions.

Download the CD Image
, then unzip it and mount it using local loopback. Also download the install.pdf which has all the detailed instructions
for this installation.


wget http://www.vitanuova.com/dist/4e/20071003/cdinstall.iso.gz
gunzip cdinstall.iso.gz
mkdir mpoint
sudo mount -o loop cdinstall.iso mpoint/
mkdir inferno_root
sh `pwd`/mpoint/install/Linux-386.sh `pwd`/inferno_root/


With above commands, Inferno should get installed.
The simplest way to test inferno emulator is to run it with following command

`pwd`/inferno_root/Linux/386/bin/emu -r `pwd`/inferno_root/


To shorten the things, one can use following shell-script called run_inferno.sh

#!/bin/bash
BASEDIR="/home/pravin/projects/inferno/"
INFERNO_ROOT="inferno_root/"

$BASEDIR/$INFERNO_ROOT/Linux/386/bin/emu -r $BASEDIR/$INFERNO_ROOT/

Add this file into your ~/bin and start inferno shell just by typing run_inferno.sh

3 comments:

  1. Hi, Have you installed inferno more recently? According to the web site, an ISO in not necessary. http://www.vitanuova.com/inferno/downloads.html

    But what do I know? I was not successful. It fails at the end of 'mk all' with:

    ...../inferno/Linux/386/lib/libinterp.a doesn't exist: assuming it will be an archive
    rm -f runt.h && limbo -a -I../module ../module/runt.m > runt.h
    sh: limbo: not found
    mk: rm -f runt.h ... : exit status=exit(127), deleting 'runt.h'
    mk: for j in ... : exit status=exit(1)

    ReplyDelete
  2. mine . . cant open pwd/installer/Linux-386.sh pwd/inferno_root/

    ReplyDelete
  3. sh pwd/mpoint/install/Linux-386.sh pwd/inferno_root/
    sh : 0 cant open pwd/install/Linux-386.sh

    ReplyDelete