Files
mercury/ssdb/Mercury.options
Zoltan Somogyi 2a1f376c5d Use spaces in all Mercury.options files.
Use consistent indentation.

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

Add XXXs about some questionable options.
2025-12-06 10:39:04 +11:00

26 lines
1.3 KiB
Bash

#---------------------------------------------------------------------------#
# vim: ts=4 sw=4 expandtab ft=sh
#---------------------------------------------------------------------------#
# Copyright (C) 2007, 2010 The University of Melbourne.
# Copyright (C) 2023-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'.
#---------------------------------------------------------------------------#
MCFLAGS-mer_ssdb += --no-warn-nothing-exported
MCFLAGS-mer_ssdb += --no-warn-unused-imports
MCFLAGS-ssdb += --no-warn-implicit-stream-calls
MCFLAGS-ssdb += --no-warn-dead-preds
MCFLAGS-ssdb += --no-warn-unneeded-final-statevars
# XXX This line is needed so that `mmake --use-mmc-make libmer_ssdb'
# passes `-lmer_mdbcomp' to `mmc --make' in the MLLIBS variable.
LIBRARIES-mer_ssdb = mer_mdbcomp mer_browser
# Whereas these lines are needed for plain `mmake'.
EXTRA_LIBRARIES-libmer_ssdb.so = mer_mdbcomp mer_browser
EXTRA_LIBRARIES-libmer_ssdb.dylib = mer_mdbcomp mer_browser