#!/bin/bash
# Installation batch for GNU Archimedes release 0.0.1
# This file must be present in directory archimedes-0.0.1 .
# It is a very simple file to create and install
# both the binaries and the documentation for
# GNU Archimedes release 0.0.1
# Created on 21 sep.2004, Siracusa, Italy, Jean Michel Sellier
# Last Modif. : 21 sep.2004, Siracusa, Italy, J.M.Sellier

# Copyright (C) 2004  Jean Michel Sellier.
# This Makefile is free software; the Free Software Foundation
# gives unlimited permission to copy and/or distribute it,
# with or without modifications, as long as this notice is preserved.

# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
# PARTICULAR PURPOSE.
echo "WARNING!! You have to be root in order to install this package"
echo ;
echo "Compilation of GNU Archimedes 0.0.1"
cd ./src/
make clean
make
cd ..
echo;
echo "Installation of GNU Archimedes 0.0.1"
cd ./src/
make install
cd ..
echo "End of installation"

