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>
|
2022-09-16 11:20:06 +02:00
|
|
|
<param name="versionrewrite-replacement">\1</param>
|
2023-10-03 09:04:39 +02:00
|
|
|
<param name="revision">439b23db6288f0370f6fcc80c8c0a06ad86d6873</param>
|
2020-01-15 14:55:39 +01:00
|
|
|
</service>
|
|
|
|
<service name="recompress" mode="disabled">
|
|
|
|
<param name="file">openmpi*.tar</param>
|
2022-09-16 11:20:06 +02:00
|
|
|
<param name="compression">bz2</param>
|
2020-01-15 14:55:39 +01:00
|
|
|
</service>
|
|
|
|
</services>
|