Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • C curry-frontend
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 71
    • Issues 71
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 3
    • Merge requests 3
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • curry
  • curry-frontend
  • Merge requests
  • !38

Add parameter for output directory

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Fredrik Wieczerkowski requested to merge outdir-parameter into master Nov 05, 2020
  • Overview 0
  • Commits 3
  • Pipelines 0
  • Changes 4

Fixes #97 (closed)

This branch adds an --outdir parameter (aliased to -o) that lets the user override the default .curry directory for compilation artifacts. Additionally, it makes the terminology slightly more consistent (by referring to this directory as outDir rather than currySubdir).

Edited Nov 05, 2020 by Fredrik Wieczerkowski
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: outdir-parameter