Code

[coq] pick flags from profile#3547

Code

Merged

ejgallego merged 5 commits intoocaml:masterocaml/dune:masterfrom gares:coq-backendgares/dune:coq-backendCopy head branch name to clipboardJun 20, 2020

+75-3

Commits

Commits on Jun 20, 2020

• [coq] env suppor for coq.flags

  Show description for 3d0c47e
  gares

  committed
  3d0c47e

  Copy full SHA for 3d0c47e

• [doc] document (coq (flags ..))

  Show description for e37737a
  gares

  committed
  e37737a

  Copy full SHA for e37737a

• update changelog

  Show description for 8ce5ed8
  gares

  committed
  8ce5ed8

  Copy full SHA for 8ce5ed8

• remove type alias in dune_env

  Show description for dcae115
  gares

  committed
  dcae115

  Copy full SHA for dcae115

• target version 2.7

  Show description for 80f4f41
  gares

  committed
  80f4f41

  Copy full SHA for 80f4f41