#!/bin/bash
#
# last updated: $Date: 2003/02/18 14:55:49 $

# This file should be sourced (i.e., '. <filename>' or 'source <filename>')

# Java file separator character on this machine
export JFILESEP='\\'

# Java path separator character on this machine
export JPATHSEP=';'

ECLIPSEWORKSPACE='/cygdrive/c/eclipse/workspace'

# Java CLASSPATH setting (comment this out if you don't need it).
# The default below automatically converts a unix-like path to a Windows path.
export CLASSPATH=`cygpath -pwa ".:${ECLIPSEWORKSPACE}/MJ:${ECLIPSEWORKSPACE}/JML2:/usr/local/antlr:/usr/local/junit/junit.jar:/usr/local/gnu:${ECLIPSEWORKSPACE}/JML2/specs:/usr/local/jdk1.3/lib/tools.jar:/usr/local/ant/lib/ant.jar"`

# The SOURCEPATH must have a path containing the specifications in
# JML2, followed by JML2 itself (for developers), followed by the
# sources for the J2SDK version you are using.  This is needed for
# running the JML checker.  The following assumes that you have
# unjared, using a command like
#   cd /usr/local/jdk1.4
#   jar -xf src.jar
# the jar file (src.jar) containing the J2SDK sources into a directory
# that is (the equivalent of) /usr/local/jdk1.4/src.
# You can get the src.jar file with the J2SDK release
# (it comes standard with 1.4 releases).
export SOURCEPATH=`cygpath -pwa ".:${ECLIPSEWORKSPACE}/JML2/specs:${ECLIPSEWORKSPACE}/JML2:/usr/local/jdk1.4/src"`

# Whether your copy of the JDK sources is a 1.4 release.
# If so you need to have -source 1.4 set in SOURCEFLAGS,
# otherwise you can comment this out.
export SOURCEFLAGS='-source 1.4'

# The double backslashes below are necessary under Sun's javac for Windows.
# When make uses the environment variables the \\ become \, which is
# what javac for Windows expects as a file separator character.

# The shell's name of the directory containing the MJC project files
export PLSL_CLASSROOT=`cygpath -ma "${ECLIPSEWORKSPACE}/MJ"`
export MJ_CLASSROOT=`cygpath -ma "${ECLIPSEWORKSPACE}/MJ"`

# OS native (javac compatible) format for
# the name of the directory containing the MJC project files
export MJ_JCLASSROOT=`cygpath -wa "${ECLIPSEWORKSPACE}/MJ" | sed -e 's@\\\\@\\\\\\\\@g'`
# or use something like:
# export MJ_JCLASSROOT='c:\\cygwin\\home\\cclifton\\MJ'

# The shell's name of the directory containing the JML project files
export JML_CLASSROOT=`cygpath -ma "${ECLIPSEWORKSPACE}/JML2"`

# OS native (javac compatible) format for
# the name of the directory containing the JML project files
export JML_JCLASSROOT=`cygpath -wa "${ECLIPSEWORKSPACE}/JML2" | sed -e 's@\\\\@\\\\\\\\@g'`
# or use something like:
# export JML_JCLASSROOT='c:\\cygwin\\home\\cclifton\\JML2'

# OS native relative path name to the MJC project files
export MJ_RELATIVE_ROOT='..\\MJ'


# Name of the java compiler
export JAVAC='javac'

# Temporary directory in OS native format
: ${TEMP=$HOME/temp}
export TEMP
export JTEMP=`cygpath -wa "${TEMP}" | sed -e 's@\\\\@\\\\\\\\@g'`
# or use something like the following (on Windows 2000/XP):
# export JTEMP='c:\\DOCUME~1\\cclifton\\LOCALS~1\\Temp'

# Use forward slashes on all machines for URLs below.

# URL for the directory containing the javadocs for the JDK on this machine
export JDKDOCDIR='file:c:/cygwin/usr/local/jdk1.4/docs/api'

# URL for the directory containing the javadocs for antlr on this machine
export ANTLRDOCDIR='file:c:/cygwin/usr/local/antlr/javadocs'

# URL for the directory containing the javadocs for MJC on this machine
export JDLINKS="-link file:`cygpath -ma ${ECLIPSEWORKSPACE}`/MJ/javadocs"
# or use something like the following
# export JTEMP='c:/cygwin/usr/local/cclifton/MJ/javadocs'

## Copyright (C) 2000-2002 Iowa State University
##
## 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