2020-01-15 14:55:39 +01:00
|
|
|
<services>
|
|
|
|
<service name="tar_scm" mode="disabled">
|
|
|
|
<param name="scm">git</param>
|
|
|
|
<param name="url">https://github.com/open-mpi/ompi.git</param>
|
|
|
|
<param name="package-meta">no</param>
|
|
|
|
<param name="exclude">.git</param>
|
|
|
|
<param name="filename">openmpi</param>
|
|
|
|
<param name="versionformat">@PARENT_TAG@.@TAG_OFFSET@.%h</param>
|
|
|
|
<param name="versionrewrite-pattern">v(.*)</param>
|
|
|
|
<param name="versionrewrite-replacement">\1</param>
|
2020-06-11 23:09:09 +02:00
|
|
|
<param name="revision">56470b4aba18c886fe843daffd80e09ac3fb4bf0</param>
|
2020-01-15 14:55:39 +01:00
|
|
|
</service>
|
|
|
|
<service name="recompress" mode="disabled">
|
|
|
|
<param name="file">openmpi*.tar</param>
|
|
|
|
<param name="compression">bz2</param>
|
|
|
|
</service>
|
|
|
|
</services>
|