https://github.com/dlesbre/coq-prettier-makefile

Prettify the output of coq makefiles
https://github.com/dlesbre/coq-prettier-makefile

coq makefile

Last synced: 3 months ago
JSON representation

Prettify the output of coq makefiles

• Host: GitHub
• URL: https://github.com/dlesbre/coq-prettier-makefile
• Owner: dlesbre
• License: bsd-3-clause
• Created: 2022-12-20T22:05:42.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2023-12-16T09:54:32.000Z (over 1 year ago)
• Last Synced: 2025-02-16T09:41:29.587Z (5 months ago)
• Topics: coq, makefile
• Language: OCaml
• Homepage:
• Size: 342 KB
• Stars: 2
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        


# Coq prettier makefile

[![OCaml Versions](https://img.shields.io/badge/ocaml%20version-4.10.x%20--%204.14.x-blue)](./coqprettiermakefile.opam)

[![CI Status](https://img.shields.io/github/actions/workflow/status/dlesbre/coq-prettier-makefile/ocaml.yml?label=CI)](https://github.com/dlesbre/coq-prettier-makefile/actions)

[![License](https://img.shields.io/github/license/dlesbre/coq-prettier-makefile)](./LICENSE)

This is a simple utility script to render a prettier output when compiling large

Coq projects. It prints a nice aligned output with color coded build times and memory usages :

![](render.png)

Also prettifies error message by adding color and showing the relevant

file location:

![](warning.png)

## Installation

This package requires ANSITerminal to build:

```console

opam install ANSITerminal

```

To install simply clone this repository and build with `dune`:

```console

git clone [email protected]:dlesbre/coq

cd coq-prettier-makefile

dune build

dune install

```

## Usage

To use simply call `coq-make` where you would usually call `make`. It will

internally call the makefile, and parse its output to render the display. This

should work even if you use a wrapper makefile around the standard coq_makefile.

Any flag arguments are forwarded to `make`, so you can call `coq-make -j4` with

the expected result. For non flag arguments `coq-make` will try to be smart. If

it looks like a file appearing in the `_CoqProject`, it will call `make

full/file/name.vo`, otherwise it will pass the argument as usual. This

allows typing `coq-make file` instead of the lengthier `coq-make

path/to/file.vo`

## Alternatives

This script is a bit of a hack around Coq's makefile, and is in no way a proper

build system. As some helpful people have pointed out on the [Zulip

discussion](https://coq.zulipchat.com/#narrow/stream/237655-Miscellaneous/topic/Script.20to.20prettify.20output.20of.20Coq.20makefiles/),

[dune](https://dune.readthedocs.io/en/stable/coq.html#introduction) can build

coq projects. It also has a pretty nice, non-cluttered output by default, and

can print files as they are compiled when using the `--display short` option. It

doesn't display build times/memory usage yet, but it will undoubtedly be better

maintained than this tool. I would consider switching your build system to it if possible,

and using this for large legacy projects that can't or won't make the switch.