Skip to content

GitLab

Switch branch/tag
Find file Normal viewHistoryPermalink
configure 74 Bytes
Newer Older
Ralf Jung's avatar
make Coq *much* faster by introducing names for some instances  
Ralf Jung committed
1 2 
#!/bin/sh
coq_makefile lib/ModuRes -R lib/ModuRes ModuRes *.v -o Makefile