mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
Specify -I search flags in permitted reference order.
This commit is contained in:
@@ -15,9 +15,9 @@
|
||||
--no-allow-ho-insts-as-modes
|
||||
--no-mercury-stdlib-dir
|
||||
--no-detect-libgrades
|
||||
-I../library
|
||||
-I../browser
|
||||
-I../ssdb
|
||||
-I../browser
|
||||
-I../library
|
||||
--c-include-directory ../boehm_gc
|
||||
--c-include-directory ../boehm_gc/include
|
||||
--c-include-directory ../runtime
|
||||
|
||||
Reference in New Issue
Block a user