mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
17 lines
845 B
Plaintext
17 lines
845 B
Plaintext
-----------------------------------------------------------------------------#
|
|
# vim: ts=4 sw=4 expandtab
|
|
#-----------------------------------------------------------------------------#
|
|
# 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.
|
|
#
|
|
#-----------------------------------------------------------------------------#
|
|
|