6 lines
134 B
Text
6 lines
134 B
Text
@bin bin/ccomp
|
|
@static-lib lib/libcompcert.a
|
|
@man man/man1/ccomp.1
|
|
share/compcert/
|
|
share/compcert/LICENSE
|
|
share/compcert/compcert.ini
|