#!/bin/sh
#######################################################################
#                                                                     #
#                        Caml examples                                #
#                                                                     #
#            Pierre Weis                                              #
#                                                                     #
#                        INRIA Rocquencourt                           #
#                                                                     #
#  Copyright (c) 1994-2011, INRIA                                     #
#  All rights reserved.                                               #
#                                                                     #
#  Distributed under the BSD license.                                 #
#                                                                     #
#######################################################################

# $Id: configure,v 1.1 2011-08-08 19:09:58 weis Exp $

# The script to configure Config.mk to set up the value of SRCROOTDIR.

PREFIXDIR=$1
SRCROOTDIR=$2

GENERATED=Config.mk

rm -f $GENERATED

echo "#" > $GENERATED
echo "# Warning: this file has been generated." >> $GENERATED
echo "#" >> $GENERATED
echo "# DO NOT EDIT THIS FILE!" >> $GENERATED
echo "#" >> $GENERATED
echo "# The editable source of this file is in $GENERATED.in" >> $GENERATED
echo "#" >> $GENERATED

sed -e "s|SRCROOTDIR = .*|SRCROOTDIR = $SRCROOTDIR|" \
    -e "s|PREFIXDIR = .*|PREFIXDIR = $PREFIXDIR|" \
$GENERATED.in >> $GENERATED

chmod -w $GENERATED
