search

OpenJML / OpenJML

This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
http://www.openjml.org
155 stars 35 forks source link

Problem invoking simplify from script #135

Closed openjml-project closed 9 years ago

openjml-project commented 21 years ago

is it possible that the following have been removed by mistake from the escj script from a2 to a3?

if ( ! $?ESCJ_SIMPLIFY_SCRIPT ) then if ( $?ESCTOOLS_RELEASE ) then setenv ESCJ_SIMPLIFY_SCRIPT $ESCTOOLS_RELEASE/simplify-script else setenv ESCJ_SIMPLIFY_SCRIPT ${ESCJAVA_ROOT}/simplify endif endif

if I do not append it, I get an "ESCJ_SIMPLIFY_SCRIPT: Undefined variable."

Cheers, Fred

Original comment by: leavens

openjml-project commented 21 years ago

Logged In: YES user_id=595682

Actually, the use of the simplify script was removed in moving from a2 to a3, to make cross-platform use simpler.

However, a few stray instances of ESCJ_SIMPLIFY_SCRIPT were still present. These have been removed. As a workaround, define the variable to anything at all. It is no longer used

Original comment by: davidcok

openjml-project commented 21 years ago

Original comment by: davidcok