Skip to content

Commit b732437

Browse files
committed
Merge branch 'eng/gpr/gpr-issues#103' into 'master'
codepeer: add targetset aliasing "gnatsas" to "codepeer" See merge request eng/gpr/gprconfig_kb!19
2 parents 9dc0985 + 94badff commit b732437

File tree

2 files changed

+6
-1
lines changed

2 files changed

+6
-1
lines changed

db/compilers.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -219,7 +219,7 @@
219219

220220
<compiler_description>
221221
<name>GNAT_CODEPEER</name>
222-
<executable prefix="1">(.*gnsa-|.*codepeer-)gnatls</executable>
222+
<executable prefix="1">(.*gnatsas-|.*gnsa-|.*codepeer-)gnatls</executable>
223223
<version>
224224
<external>${PREFIX}gnatls -v</external>
225225
<grep regexp="^GNATLS.+?(\d+(\.\d+)?)" group="1"></grep>

db/targetset.xml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -665,4 +665,9 @@
665665
<target>ccg</target>
666666
</targetset>
667667

668+
<targetset canonical="codepeer">
669+
<target>gnatsas</target>
670+
<target>codepeer</target>
671+
</targetset>
672+
668673
</gprconfig>

0 commit comments

Comments
 (0)