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

Add missing flags.

Browse Source
This commit is contained in:
Zoltan Somogyi
2025-07-31 10:27:56 +02:00
parent d391300ce7
commit 6628fa52bc
3 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
deep_profiler/Mercury.options
View File

@@ -30,3 +30,5 @@ MCFLAGS-canonical += --no-warn-dead-preds
# Uncomment this to see debug messages from the code that reads the Deep.data
# files.
# MCFLAGS-read_profile += --trace-flag debug_read_profdeep
MCFLAGS-mdbcomp += --no-warn-include-and-non-include

2
grade_lib/Mercury.options
View File

@@ -0,0 +1,2 @@
MCFLAGS-grade_lib += --no-warn-include-and-non-include

3
slice/Mercury.options
View File

@@ -1,7 +1,7 @@
#-----------------------------------------------------------------------------#
# vim: ts=4 sw=4 expandtab
#-----------------------------------------------------------------------------#
# Copyright (C) 2023 The Mercury team.
# 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.
#-----------------------------------------------------------------------------#
@@ -9,3 +9,4 @@
#-----------------------------------------------------------------------------#
MCFLAGS-mtc_diff +=--no-warn-det-decls-too-lax
MCFLAGS-mdbcomp +=--no-warn-include-and-non-include