https://github.com/charlesaverill/dsbs

Dead-Simple Build System for Coq
https://github.com/charlesaverill/dsbs

coq

Last synced: 8 days ago
JSON representation

Dead-Simple Build System for Coq

• Host: GitHub
• URL: https://github.com/charlesaverill/dsbs
• Owner: CharlesAverill
• Created: 2024-02-23T20:31:04.000Z (9 months ago)
• Default Branch: main
• Last Pushed: 2024-08-12T18:47:46.000Z (3 months ago)
• Last Synced: 2024-10-11T21:40:49.935Z (about 1 month ago)
• Topics: coq
• Language: OCaml
• Homepage:
• Size: 11.7 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# DSBS

DSBS is a Dead-Simple Build System for Coq.

`coq_makefile` is hard to work with in my experience. DSBS does all the work for you.

DSBS scans your Coq files for dependencies and generates a build script that will

automatically compile and apply logical names to said dependencies.

## Usage

```bash

make

dune exec -- dsbs Main.v CoolFile.v # etc...

# Generates this file containing coqc calls

./dsbs.sh

# Compile your main files

COQPATH=$(pwd) coqc Main.v

```

## Issues

- Haven't tested this on Coq projects with complicated directory setups

- Not yet seamless with VSCoq (I'm assuming CoqIDE as well)

- Top-level files have to be compiled while setting the `COQPATH` environment variable