Glimmer: IAScript: Building

From CSWiki

Instructions for building IAScript on Linux

These instructions should work on one of the Glimmer Ubuntu boxes or in MathLAN. For MathLAN, there's an extra bit of work that you'll need to do.

Contents 1 General Preparation 2 Preparation (on Ubuntu) 3 Preparation (in MathLAN) 4 Downloading 5 Configuring 5.1 Configuring (MathLAN) 5.2 Configuring (Ubuntu) 6 Updating 7 Building 8 Running 9 Installing 9.1 Installing (MathLAN) 9.2 Installing (Ubuntu)

General Preparation

Pick a directory in which to build.

mkdir ~/Glimmer
cd ~/Glimmer

Preparation (on Ubuntu)

Do this once (I hope)

1. Using the package manager of your choice, install libglade

2. Install plt-scheme from source.

• • Fetch from http://download.plt-scheme.org/mzscheme/
  • Extract using tar xvf
  • Cd to the src directory
  • ./configure --prefix=/usr
  • make both
  • sudo make install-both

3. Copy mzcgc.pc to the pkgconfig directory

sudo cp mzcgc.pc /usr/lib/pkgconfig/

Preparation (in MathLAN)

Do this every time you log in to MathLAN

newgrp glimmer 
export ROOT=/glimmer
source /home/rebelsky/Glimmer/scripts/env.sh

Downloading

Only need to do this once--

svn checkout svn://svn.cs.grinnell.edu/glimmer/DrFu

Configuring

In theory, you should only need to configure once. In practice, we'll need to reconfigure after some kinds of changes during development.

Configuring (MathLAN)

Do this in the DrFu directory

autoreconf
./configure --prefix=/glimmer --disable-python

Configuring (Ubuntu)

autoreconf
./configure --disable-python

Updating

svn update

Building

make

Running

To run the version you've just built outside of GIMP, you can write

src/apps/mediascript

That's useful for testing the GIMP-independent aspects of the program. To run the version you've just built in GIMP, you'll need to install it.

Installing

Installing (MathLAN)

make install

Installing (Ubuntu)

sudo make install

We seem to have some problems on some Linux boxes which have regular GIMP and GIMP built from source. One gets installed in /usr and one in /usr/local. It looks like whichever we run looks in /usr/lib/gimp/2.0/plugins, but the GIMP plugin installer puts it in /usr/local/lib/gimp/2.0/plugins. Possible solutions:

• When building GIMP from source, use --prefix=/usr
• Manually install the plugin

cp src/plugins/gimp/msg-config /usr/lib/gimp/2.0/plugins