mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-08 18:34:00 +00:00
8919bc1fc1
Estimated hours taken: 0.1 Branches: main Fix the Mmakefile in the scripts directory. scripts/Mmakefile: Remove a reference to the recently deleted mercury_cleanup_install script. `mtags' is now generated by configure. scripts/.cvsignore: Conform to recent changes.
14 lines
329 B
Plaintext
14 lines
329 B
Plaintext
c2init mmc mercury_update_interface mgnuc mint mkfifo_using_mknod ml
|
|
mmake mnc mnl mnp mprof msc msl msp sicstus_conv
|
|
Mmake.vars
|
|
mdb mdbrc test_mdbrc
|
|
canonical_grade
|
|
mercury.bat
|
|
mdprof
|
|
parse_ml_options.sh-subr
|
|
Mercury.config Mercury.config.bootstrap mercury_config
|
|
prepare_tmp_dir_fixed_part
|
|
config.log
|
|
mtags
|
|
prepare_install_dir
|