#!/bin/bash
#
# $Date: 2009/03/08 00:07:23 $

# Before doing this you may need to go to JML2 and do:
#   make cleanall
#   cvs update -d -P
# then also checkout JMLdocuments from SVN with:
#   cd $JML_DEV_BASE
#   svn checkout https://jmlspecs.svn.sourceforge.net/svnroot/jmlspecs/documents/trunk JMLdocuments
# then the following should work.

# JML_DEV_BASE  : directory under which MJ, JML2, and JMLdocuments will reside.
: ${JML_DEV_BASE:=$HOME}
cd $JML_DEV_BASE
cd JML2/org/jmlspecs
# you might need to do cvs update -d -P
ln -s ../../../JMLdocuments/org/jmlspecs/samples .
cd ../../
ln -s ../JMLdocuments/docs .
cd ../JMLdocuments
ln -s ../JML2/Make.ProjDefs ../JML2/raccompiled ../JML2/nonFraccompiled .
cd org/jmlspecs
ln -s ../../../JML2/org/jmlspecs/models .
ln -s ../../../JML2/org/jmlspecs/lang .

## Copyright (C) 2009 JML Developers
##
## This file is part of JML, the Java Modeling Language
##
## This program is free software; you can redistribute it and/or modify
## it under the terms of the GNU General Public License as published by
## the Free Software Foundation; either version 2 of the License, or
## (at your option) any later version.
##
## This program is distributed in the hope that it will be useful,
## but WITHOUT ANY WARRANTY; without even the implied warranty of
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
## GNU General Public License for more details.
##
## You should have received a copy of the GNU General Public License
## along with this program; if not, write to the Free Software
## Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA