gnoga metadata: removed conflicting project variable settings (#1082)
* Removed conflicting project variable settings * Missing externals to increase compatibility * Restore lost variable in gnoga
This commit is contained in:
committed by
GitHub
parent
cd81313940
commit
e255cb600a
@@ -12,16 +12,16 @@ licenses = "GPL-3.0-only WITH GCC-exception-3.1"
|
||||
|
||||
project-files = ["lib_gnoga.gpr"]
|
||||
|
||||
[gpr-set-externals.'case(os)']
|
||||
linux = { Target_OS = "Linux", PRJ_TARGET = "Linux" }
|
||||
windows = { Target_OS = "Windows", PRJ_TARGET = "Windows" }
|
||||
macos = { Target_OS = "OSX", PRJ_TARGET = "OSX" }
|
||||
|
||||
[[depends-on]]
|
||||
gnat = ">=2021 | (>=12 & <2000)"
|
||||
simple_components = "^4.62.0"
|
||||
uxstrings = "~0.4.0+alpha-20220803"
|
||||
|
||||
[gpr-set-externals.'case(os)']
|
||||
linux = { PRJ_TARGET = "Linux" }
|
||||
windows = { PRJ_TARGET = "Windows" }
|
||||
macos = { PRJ_TARGET = "OSX" }
|
||||
|
||||
[origin]
|
||||
commit = "5f127c56986a7a1a562b405d7934eabf8e624c25"
|
||||
url = "git+https://github.com/Blady-Com/gnoga.git"
|
||||
|
||||
Reference in New Issue
Block a user