Permalink
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
executable file 4 lines (2 sloc) 63 Bytes
#!/bin/sh
coq_makefile -f Make -o Makefile -arg "-compat 8.4"