#!/bin/sh
# Configuration script for MIT Scheme
-# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/unxutl/Attic/config,v 1.16 1992/07/23 12:35:58 jinx Exp $
+# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/unxutl/Attic/config,v 1.17 1992/07/30 14:53:31 jinx Exp $
# Modelled on the configuration script for GNU CC
# Copyright (C) 1988 Free Software Foundation, Inc.
machine_file=mips
cmpint_file=cmpint-mips.h
;;
+ sgi4d)
+ system_file=irix4
+ machine_file=mips
+ cmpint_file=cmpint-mips.h
+ ;;
nws3250) # sony news laptop
system_file=newsos5
machine_file=mips
system_file=umax
machine_file=umax
;;
- alpha-osf) # DEC Alpha running OSF
+ alpha-osf | alpha) # DEC Alpha running OSF
system_file=decosf
machine_file=alpha
cmpint_file=cmpint-alpha.h
echo "vax-bsd42 vax-bsd43 vax-ultrix mips-ultrix"
echo "nws3250 hp9k300 hp9k400 hp9k700 hp9k800 i386-sysv"
echo "sun3 sun3-os3 sun3-nfp sun3-os3-nfp sun4 umax next"
+ echo "alpha-osf alpha sgi4d"
if [ -r config.status ]
then
cat config.status