Rename configure scripts to "configure.sh"

Issue #954 closed
Erik Schnetter created an issue

Each thorn in ExternalLibraries has a script that configures it. For historic reasons these scripts all have different names. I propose to rename them all to "configure.*", where the suffix denotes the language (e.g. sh or pl).

Keyword:

Comments (7)

  1. Frank Löffler
    • removed comment

    Since the name of the configure script has to be specified in the ccl files anyway this shouldn't be more than a cosmetic change, and a welcome one. Please apply.

  2. Roland Haas
    • removed comment

    Now that all these scripts (actually it would be nicest if one could use the SCRIPT entry of configuration.ccl) are named configure.sh, would it make sense to add them to the make dependencies? So that the library is rebuild when this file changes? I have no idea how hard to implement this would be.

  3. Erik Schnetter reporter
    • removed comment

    Can you open a ticket for this, and add this discussion?

    The script itself already checks a few conditions to find out whether the library needs rebuilding. One way would be to add a new DEPENDENCIES output to the script, which the flesh then processes when it decides whether to run the CST.

  4. Log in to comment