diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
| commit | 3517852e3b8a68d1e997770fc0650c5053bafc6c (patch) | |
| tree | 44068672445b1418489aed82de58df3c470289e7 /sci-mathematics/smtinterpol/files | |
| parent | 0f15659d48c193027158492acb726297501202c5 (diff) | |
gentoo resync : 04.01.2022
Diffstat (limited to 'sci-mathematics/smtinterpol/files')
| -rw-r--r-- | sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch | 11 | ||||
| -rw-r--r-- | sci-mathematics/smtinterpol/files/smtinterpol-build.xml-basename.patch | 12 |
2 files changed, 23 insertions, 0 deletions
diff --git a/sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch b/sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch new file mode 100644 index 000000000000..b6c5971be7ea --- /dev/null +++ b/sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch @@ -0,0 +1,11 @@ +index bf87cd1..6ca4533 100644 +--- a/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/Version.template ++++ b/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/Version.template +@@ -23,5 +23,5 @@ package de.uni_freiburg.informatik.ultimate.smtinterpol; + * @author Jochen Hoenicke + */ + public interface Version { +- public final static String VERSION = "${version}"; ++ public final static String VERSION = "0"; + } +\ No newline at end of file diff --git a/sci-mathematics/smtinterpol/files/smtinterpol-build.xml-basename.patch b/sci-mathematics/smtinterpol/files/smtinterpol-build.xml-basename.patch new file mode 100644 index 000000000000..d6d2256826fd --- /dev/null +++ b/sci-mathematics/smtinterpol/files/smtinterpol-build.xml-basename.patch @@ -0,0 +1,12 @@ +index e105c33..21295bf 100644 +--- a/build.xml ++++ b/build.xml +@@ -32,7 +32,7 @@ stage: Upload new version to Maven Central (owner only) + <arg value="describe"/> + </exec> + <echo>Version is ${version}</echo> +- <property name="jar.basename" value="${artifactId}-${version}"/> ++ <property name="jar.basename" value="${artifactId}"/> + <tstamp> + <format property="build.date" pattern="yyyy-MM-dd"/> + <format property="build.year" pattern="yyyy"/> |