#!/bin/bash
#
# $Date: 2003/03/16 16:17:06 $

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

# 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 ".:${HOME}/temp/JML/bin/mjc-for-jml.jar:${HOME}/temp/JML/bin/jml-release.jar:${HOME}/temp/JML/specs:/usr/local/jdk1.4/lib/tools.jar:${HOME}/temp/MJ:${HOME}/temp/JML:/usr/local/ant/lib/ant.jar"`

# 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="${HOME}/MJ"
export MJ_CLASSROOT="${HOME}/temp/MJ"

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

# The shell's name of the directory containing the JML project files
export JML_CLASSROOT="${HOME}/temp/JML"

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

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

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

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

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

# Temporary directory in OS native format
export TEMP=$HOME/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.

# URI 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 ANTLR javadocs
# export ANTLRDOCDIR="file:`cygpath -ma /usr/local/antlr/javadocs`"

# URL for the MultiJava javadocs
export JDLINKS="-link file:`cygpath -wa ${HOME}`/MJ/javadocs"

## Copyright (C) 2000-2003 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