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

Draft: QoL changes for packages and stuff

  • Review changes

  • Download
  • Email patches
  • Plain diff
Open Mattias requested to merge cmdliner into dev Apr 13, 2022
  • Overview 3
  • Commits 1
  • Pipelines 0
  • Changes 9

@kn This is a work in progress to improve some behaviours. The ones I want to fix right now are:

  • use cmdliner instead of args (todo)
  • use camlp-streams if OCaml version is > 4.14 (done)
  • install the missing dependencies:
    • right now I did it with a configure file but I find it strange that pxp and js_of_ocaml are not set as mandatory dependencies since if they're not installed, make will fail

If you see something else, I'll be glad to do it in this MR before we merge it

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: cmdliner