run.sh « arg « coq-makefile « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/coq-makefile/arg/run.sh

blob: e7de90ff2fa397cfe2238014e9fbb5209d1c1fa3 (plain)

#!/usr/bin/env bash

. ../template/init.sh

coq_makefile -f _CoqProject -o Makefile
cat Makefile.conf
make