* <All Tools>/CMakeLists.txt:

- Bug: During the packaging stage, DESTDIR must be appended to the
        pathes prepended to CMAKE_MODULE_PATH.
  * ./stratus:
    - Bug: In dpgen_RF1.py, small typo for the python executable if the module
        is to be run stand-alone. Never show in normal uses.
    - Bug: In ROM_encours & dpen_ROM, correct bad indentation.

stratus1/CMakeLists.txt

@@ -4,7 +4,7 @@
  option(BUILD_DOC "Build the documentation (latex2html)" OFF)
 
  cmake_minimum_required(VERSION 2.4.0)
- list(INSERT CMAKE_MODULE_PATH 0 "$ENV{BOOTSTRAP_TOP}/share/cmake/Modules/")
+ list(INSERT CMAKE_MODULE_PATH 0 "${DESTDIR}/$ENV{BOOTSTRAP_TOP}/share/cmake/Modules/")
  find_package(Bootstrap REQUIRED)
  setup_project_paths(VLSISAPD)
  setup_project_paths(CORIOLIS)

stratus1/src/dpgen/dpgen_RF1.py

@@ -1,4 +1,4 @@
-#!/usr/bin/pythn
+#!/usr/bin/python
 
 # This file is part of the Coriolis Project.
 # Copyright (C) Laboratoire LIP6 - Departement ASIM