mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Use spaces in all Mercury.options files.

Browse Source 
Use consistent indentation.

Sort many blocks of module-specific MCFLAGS settings by module name.

Add XXXs about some questionable options.
This commit is contained in:
Zoltan Somogyi
2025-12-06 10:39:04 +11:00
parent 48b81ba74d
commit 2a1f376c5d
74 changed files with 879 additions and 658 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
mfilterjavac/Mercury.options
View File

@@ -1,16 +1,16 @@
#-----------------------------------------------------------------------------#
# vim: ts=4 sw=4 expandtab
#-----------------------------------------------------------------------------#
#---------------------------------------------------------------------------#
# vim: ts=4 sw=4 expandtab ft=sh
#---------------------------------------------------------------------------#
# Copyright (C) 2025 The Mercury team.
# This file may only be copied under the terms of the GNU General
# Public License - see the file COPYING in the Mercury distribution.
#-----------------------------------------------------------------------------#
#---------------------------------------------------------------------------#
# Mercury.options - module-specific flags for Mmake and `mmc --make'.
#-----------------------------------------------------------------------------#
#---------------------------------------------------------------------------#
#
# This directory does not (yet) need module-specific options, but it is
# simpler (for e.g. tools/bootcheck) if all directories containing Mercury
# code have this file.
#
#-----------------------------------------------------------------------------#
#---------------------------------------------------------------------------#