dune · cpp · MICHELLAND Sébastien / itree-ai · GitLab

Mentions légales du service

Snippets Groups Projects

Exceptional GitLab maintenance is scheduled for June 19, 2025. The service will be unavailable between 12am and 2pm. Please do not work on the platform until an announcement indicates that maintenance is complete.

2 years ago
e35a6beb
meta: prevent build of coq-itree-lmi/ folder, when present · e35a6beb
MICHELLAND Sébastien authored 2 years ago
```
This is used for rebasing on the ICFP 22 Layered Monadic Interpreters
repo on another branch.
```
Verified
e35a6beb

History
meta: prevent build of coq-itree-lmi/ folder, when present
MICHELLAND Sébastien authored 2 years ago
```
This is used for rebasing on the ICFP 22 Layered Monadic Interpreters
repo on another branch.
```

dune 99 B

;; Exclude the coq-itree-lmi folder which is built independently
(dirs :standard \ coq-itree-lmi)