#!/bin/csh
#
# $Date: 2009/06/16 23:41:18$

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

# JML_DEV_BASE  : directory under which MJ and JML2 will reside.
test -z "$JML_DEV_BASE" || set JML_DEV_BASE="$HOME"
# JML_PKG_PREFIX: path prefix to JML required third party packages.
test -z "$JML_PKG_PREFIX" || set JML_PKG_PREFIX='/usr/local'

# Java CLASSPATH setting (comment this out if you don't need it)
setenv CLASSPATH ".:${JML_DEV_BASE}/MJ:${JML_DEV_BASE}/JML2:${JML_DEV_BASE}/JMLdocuments:${JML_PKG_PREFIX}/antlr/antlr.jar:${JML_PKG_PREFIX}/junit/junit.jar:${JML_PKG_PREFIX}/gnu:${JML_DEV_BASE}/JML2/specs:${JML_PKG_PREFIX}/jdk1.4/lib/tools.jar:${JML_PKG_PREFIX}/ant/lib/ant.jar"

# For building mjdoc and jmldoc with multiple versions at once.
# You can comment these out, either one or both, if you like.
setenv JAVATOOLS141 "${JML_PKG_PREFIX}/jdk1.4.1/lib/tools.jar"
setenv JAVATOOLS142 "${JML_PKG_PREFIX}/jdk1.4/lib/tools.jar"

# The shell's name of the directory containing the MJC project files
setenv PLSL_CLASSROOT "${JML_DEV_BASE}/MJ"
setenv MJ_CLASSROOT "${JML_DEV_BASE}/MJ"

# OS native (javac compatible) format for
# the name of the directory containing the MJC project files
setenv MJ_JCLASSROOT "${JML_DEV_BASE}/MJ"

# The shell's name of the directory containing the JML project files
setenv JML_CLASSROOT "${JML_DEV_BASE}/JML2"

# OS native (javac compatible) format for
# the name of the directory containing the JML project files
setenv JML_JCLASSROOT "${JML_DEV_BASE}/JML2"

# relative path name to the MJC project files
setenv MJ_RELATIVE_ROOT '../MJ'

# Java file separator character on this machine
setenv JFILESEP '/'

# Java path separator character on this machine
setenv JPATHSEP ':'

# Name of the java compiler
setenv JAVAC 'javac'

# Name of the java virtual machine
test -z "$JAVA" || set JAVA='java'
setenv JAVA "$JAVA"

# Temporary directory in OS native format
test -z "$TEMP" || set TEMP=/usr/tmp
setenv TEMP "$TEMP"
setenv JTEMP "$TEMP"

# Use forward slashes on all machines for URLs below.

# URL for the directory containing the javadocs for the JDK on this machine
setenv JDKDOCDIR 'file:${JML_PKG_PREFIX}/jdk1.4/docs/api'

# URL for the directory containing the javadocs for antlr on this machine
setenv ANTLRDOCDIR 'file:${JML_PKG_PREFIX}/antlr/javadocs'

# URL for the directory containing the javadocs for MJC on this machine
setenv JDLINKS "-link file:${JML_DEV_BASE}/MJ/javadocs"


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