Skip to content

enhancement: place extgen.sh in separate directory and pass in environment variables #20

@Lslightly

Description

@Lslightly

Repositories are cloned in specific commit without extgen.sh often. So it's better to pass REPO_DIR and OUTPUT_DIR environment variable to the extgen.sh script.

  • REPO_DIR is the repository directory

  • OUTPUT_DIR is the extgen directory

  • PROJROOT is the root directory of the project

  • DB_EXT_DIR is the directory to store external predicate database

  • genScript should be modified to relative path to project root.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions