Merge pull request #21988 from Stevendeo/fix-alt-ergo-version

kit-ty-kate · web-flow · commit 0a8492bd0038 · 2022-08-16T16:34:50.000+01:00
Update alt-ergo's version with specific patch
diff --git a/packages/alt-ergo-lib/alt-ergo-lib.2.4.2/files/version_update.patch b/packages/alt-ergo-lib/alt-ergo-lib.2.4.2/files/version_update.patch
@@ -0,0 +1,13 @@
+diff --git a/src/lib/util/version.ml b/src/lib/util/version.ml
+index 67710c68..761ed2fb 100644
+--- a/src/lib/util/version.ml
++++ b/src/lib/util/version.ml
+@@ -29,7 +29,7 @@
+ (* WARNING: a "cut" is performed on the following file in the Makefile.
+    DO NOT CHANGE its format *)
+ 
+-let _version="dev"
++let _version="2.4.2"
+ 
+ let _release_commit = "(not released)"
+ 
diff --git a/packages/alt-ergo-lib/alt-ergo-lib.2.4.2/opam b/packages/alt-ergo-lib/alt-ergo-lib.2.4.2/opam
@@ -43,3 +43,6 @@ url {
     "sha512=61ae181ccd60a49f833ea79bbd5184a46f8eef24e7fe1169b15e905ed86584bdbe993ef86c203d5bfc3d79961024f96af0e4e623dc15479aa9538648291c9a75"
   ]
 }
+
+patches:["version_update.patch"]
+extra-files:[["version_update.patch" "md5=8944da319134df09dc733a769504867f"]]
diff --git a/packages/alt-ergo-parsers/alt-ergo-parsers.2.4.2/files/version_update.patch b/packages/alt-ergo-parsers/alt-ergo-parsers.2.4.2/files/version_update.patch
@@ -0,0 +1,13 @@
+diff --git a/src/lib/util/version.ml b/src/lib/util/version.ml
+index 67710c68..761ed2fb 100644
+--- a/src/lib/util/version.ml
++++ b/src/lib/util/version.ml
+@@ -29,7 +29,7 @@
+ (* WARNING: a "cut" is performed on the following file in the Makefile.
+    DO NOT CHANGE its format *)
+ 
+-let _version="dev"
++let _version="2.4.2"
+ 
+ let _release_commit = "(not released)"
+ 
diff --git a/packages/alt-ergo-parsers/alt-ergo-parsers.2.4.2/opam b/packages/alt-ergo-parsers/alt-ergo-parsers.2.4.2/opam
@@ -42,3 +42,6 @@ url {
     "sha512=61ae181ccd60a49f833ea79bbd5184a46f8eef24e7fe1169b15e905ed86584bdbe993ef86c203d5bfc3d79961024f96af0e4e623dc15479aa9538648291c9a75"
   ]
 }
+
+patches:["version_update.patch"]
+extra-files:[["version_update.patch" "md5=8944da319134df09dc733a769504867f"]]
diff --git a/packages/alt-ergo/alt-ergo.2.4.2/files/version_update.patch b/packages/alt-ergo/alt-ergo.2.4.2/files/version_update.patch
@@ -0,0 +1,13 @@
+diff --git a/src/lib/util/version.ml b/src/lib/util/version.ml
+index 67710c68..761ed2fb 100644
+--- a/src/lib/util/version.ml
++++ b/src/lib/util/version.ml
+@@ -29,7 +29,7 @@
+ (* WARNING: a "cut" is performed on the following file in the Makefile.
+    DO NOT CHANGE its format *)
+ 
+-let _version="dev"
++let _version="2.4.2"
+ 
+ let _release_commit = "(not released)"
+ 
diff --git a/packages/alt-ergo/alt-ergo.2.4.2/opam b/packages/alt-ergo/alt-ergo.2.4.2/opam
@@ -40,3 +40,6 @@ url {
     "sha512=61ae181ccd60a49f833ea79bbd5184a46f8eef24e7fe1169b15e905ed86584bdbe993ef86c203d5bfc3d79961024f96af0e4e623dc15479aa9538648291c9a75"
   ]
 }
+
+patches:["version_update.patch"]
+extra-files:[["version_update.patch" "md5=8944da319134df09dc733a769504867f"]]
diff --git a/packages/altgr-ergo/altgr-ergo.2.4.2/files/version_update.patch b/packages/altgr-ergo/altgr-ergo.2.4.2/files/version_update.patch
@@ -0,0 +1,13 @@
+diff --git a/src/lib/util/version.ml b/src/lib/util/version.ml
+index 67710c68..761ed2fb 100644
+--- a/src/lib/util/version.ml
++++ b/src/lib/util/version.ml
+@@ -29,7 +29,7 @@
+ (* WARNING: a "cut" is performed on the following file in the Makefile.
+    DO NOT CHANGE its format *)
+ 
+-let _version="dev"
++let _version="2.4.2"
+ 
+ let _release_commit = "(not released)"
+ 
diff --git a/packages/altgr-ergo/altgr-ergo.2.4.2/opam b/packages/altgr-ergo/altgr-ergo.2.4.2/opam
@@ -43,3 +43,7 @@ url {
     "sha512=61ae181ccd60a49f833ea79bbd5184a46f8eef24e7fe1169b15e905ed86584bdbe993ef86c203d5bfc3d79961024f96af0e4e623dc15479aa9538648291c9a75"
   ]
 }
+
+patches:["version_update.patch"]
+extra-files:[["version_update.patch" "md5=8944da319134df09dc733a769504867f"]]
+

Original file line number	Diff line number	Diff line change
`@@ -43,3 +43,6 @@ url {`
`43`	`43`	`"sha512=61ae181ccd60a49f833ea79bbd5184a46f8eef24e7fe1169b15e905ed86584bdbe993ef86c203d5bfc3d79961024f96af0e4e623dc15479aa9538648291c9a75"`
`44`	`44`	`]`
`45`	`45`	`}`
	`46`	`+`
	`47`	`+patches:["version_update.patch"]`
	`48`	`+extra-files:[["version_update.patch" "md5=8944da319134df09dc733a769504867f"]]`
Original file line number	Diff line number	Diff line change
`@@ -42,3 +42,6 @@ url {`
`42`	`42`	`"sha512=61ae181ccd60a49f833ea79bbd5184a46f8eef24e7fe1169b15e905ed86584bdbe993ef86c203d5bfc3d79961024f96af0e4e623dc15479aa9538648291c9a75"`
`43`	`43`	`]`
`44`	`44`	`}`
	`45`	`+`
	`46`	`+patches:["version_update.patch"]`
	`47`	`+extra-files:[["version_update.patch" "md5=8944da319134df09dc733a769504867f"]]`
Original file line number	Diff line number	Diff line change
`@@ -40,3 +40,6 @@ url {`
`40`	`40`	`"sha512=61ae181ccd60a49f833ea79bbd5184a46f8eef24e7fe1169b15e905ed86584bdbe993ef86c203d5bfc3d79961024f96af0e4e623dc15479aa9538648291c9a75"`
`41`	`41`	`]`
`42`	`42`	`}`
	`43`	`+`
	`44`	`+patches:["version_update.patch"]`
	`45`	`+extra-files:[["version_update.patch" "md5=8944da319134df09dc733a769504867f"]]`
Original file line number	Diff line number	Diff line change
`@@ -43,3 +43,7 @@ url {`
`43`	`43`	`"sha512=61ae181ccd60a49f833ea79bbd5184a46f8eef24e7fe1169b15e905ed86584bdbe993ef86c203d5bfc3d79961024f96af0e4e623dc15479aa9538648291c9a75"`
`44`	`44`	`]`
`45`	`45`	`}`
	`46`	`+`
	`47`	`+patches:["version_update.patch"]`
	`48`	`+extra-files:[["version_update.patch" "md5=8944da319134df09dc733a769504867f"]]`
	`49`	`+`