#! /bin/sh

if (test -z $2) then
  echo Usage: $0 pgdir pgversion
  exit 1
fi
if !(test -e $1/src/) then
  echo Could not find PostgreSQL source directory in $1/src/
  exit 1
fi
if !(test -e patch/postgresql-$2.diff) then
  echo Unsupported PostgreSQL version $2
  exit 1
fi
if !(cp -r ifsql/ $1/src/backend/) then exit 1; fi
if !(touch $1/src/backend/ifsql/gram.cpp $1/src/backend/ifsql/parse.hpp $1/src/backend/ifsql/scan.cpp) then
  rm -rf $1/src/backend/ifsql/
  exit 1
fi
if !(patch -p1 -d $1 < patch/postgresql-$2.diff) then
  rm -rf $1/src/backend/ifsql/
  exit 1
fi

echo Patch successfull. Now proceed with PostgreSQL installation in $1
