ocaml/dune

dune init should support Coq projects

Open

#7,087 opened on Feb 15, 2023

View on GitHubContributor guide
 (7 comments) (0 reactions) (0 assignees)OCaml (478 forks)github user discovery
dune initgood first issuerocq

Repository metrics

Stars
 (1,882 stars)
PR merge metrics
 (Avg merge 1d 20h) (345 merged PRs in 30d)

Description

We should add two templates to dune init:

  1. A coq theory
  2. A coq plugin

Should be simple to do.

Contributor guide

Research direction
Study the existing dune init template system, then create two new templates: one for a Coq theory and one for a Coq plugin, following the established patterns.
Tech stack
None
Domain
build systemdeveloper experience
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
Git
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
75