_CoqProject

-Q src self
-Q external/perennial/src Perennial

# Perennial-disabled warnings
-arg -w -arg -ssr-search-moved
-arg -w -arg +deprecated-hint-without-locality
-arg -w -arg -deprecated-instance-without-locality
-arg -w -arg -future-coercion-class-field
-arg -w -arg +deprecated-hint-rewrite-without-locality
-arg -w -arg -deprecated-field-instance-without-locality
-arg -w -arg +deprecated-tactic-notation

# Iris-disabled warnings
-arg -w -arg -notation-overridden,-redundant-canonical-projection,-deprecated-typeclasses-transparency-without-locality

-Q external/iris-nextgen nextgen
# Included to ensure that Perennial can find what it is looking for
# This section should be kept up to date with what Perennial has in their _CoqProject
-Q external/perennial/external/stdpp/stdpp stdpp
-Q external/perennial/external/stdpp/stdpp_unstable stdpp.unstable
-Q external/perennial/external/iris/iris iris
-Q external/perennial/external/iris/iris_deprecated iris.deprecated
-Q external/perennial/external/iris/iris_unstable iris.unstable
-Q external/perennial/external/iris/iris_heap_lang iris.heap_lang
-Q external/perennial/external/coqutil/src/coqutil coqutil
-Q external/perennial/external/Goose Goose
-Q external/perennial/external/record-update/src RecordUpdate
-Q external/perennial/external/coq-tactical/src Tactical
-Q external/perennial/external/iris-named-props/src iris_named_props