Known Problems and Patches for CADP 2001 "Ottawa"
NOTE: THIS PAGE IS NOW OBSOLETE. All the problems listed below are already solved. We therefore recommend that you upgrade to the most recent version of CADP.

Information about the current status of CADP

The current stable version of CADP is version 2001 "Ottawa" released on July 13, 2001. See The CADP Newsletter Nr. 5 for details.

So far, CADP 2001 "Ottawa" has been found to be fairly mature and reliable except a few minor problems described below, for which we try to provide workarounds.

If you have not faced specific problems using CADP 2001 "Ottawa", we recommend that you continue using it until the next version is available.

There also exist more recent beta-versions of CADP that solve all the issues listed in this Page. If the proposed workarounds are not appropriate for you, please contact cadp@inrialpes.fr to get access to the latest beta-version of CADP.


Table of Contents


PROBLEM 2001-a: [Linux] License file becomes invalid after upgrading to RedHat 7.2

DESCRIPTION: SOLUTION:


PROBLEM 2001-b: [Linux] "bcg_io" parses labels incorrectly on RedHat 6.1 and 6.2

DESCRIPTION: SOLUTION:


PROBLEM 2001-c: Three minor problems with SVL 2.0

DESCRIPTION:

SOLUTION:
  1. A new version SVL 2.1 is available that processes the "all but" feature correctly using the BCG_LABELS tool. If you face this problem, a patch of SVL for CADP 2001 "Ottawa" can be obtained upon request to cadp@inrialpes.fr.

  2. This problem is also solved in SVL 2.1.

  3. This problem can be avoided by using a different name than "file.bcg":

    	"other_file.bcg" = rename A -> B in "file.aut"
    	
    or by breaking the SVL instruction in two steps:
    	"tmp.bcg" = "file.aut";
    	"file.bcg" = rename A -> B in "tmp.bcg";
    	


PROBLEM 2001-d: "tst" may emit a spurious warning

DESCRIPTION: SOLUTION:


PROBLEM 2001-e: [Windows] Installation directives no longer work for Cygwin 1.3.10, GhostScript 7.04, and GSView 4.3

DESCRIPTION: SOLUTION:


PROBLEM 2001-f: [Linux] Option "-gc" of "caesar" does not work on RedHat 7.3

DESCRIPTION: SOLUTION:


PROBLEM 2001-g: [Windows] The BCG tools fail for recent versions of Cygwin based on the GCC 3.2 compiler

DESCRIPTION-1: DESCRIPTION-2: SOLUTION:


PROBLEM 2001-h: [Windows] Installator no longer sends mail on recent versions of Cygwin

Sun May 25 17:21:17 2003

DESCRIPTION:

SOLUTION:


PROBLEM 2001-i: [Linux] The CADP tools fail on RedHat 9.0 and Mandrake 9.1

Sun May 25 18:10:56 2003

DESCRIPTION:

SOLUTION:


PROBLEM 2001-j: [Linux] Installator fails when uncompress is missing

Mon Jul 21 18:28:07 MEST 2003

DESCRIPTION:

SOLUTION:
Version 1.25 last updated on 2015/08/21 16:59:42

Back to the CADP Home Page