.fmf/version

@@ -1 +0,0 @@
-1

mpfr.spec

@@ -1,7 +1,7 @@
 Summary: C library for multiple-precision floating-point computations
 Name: mpfr
 Version: 4.2.2
-Release: 2%{?dist}
+Release: 1%{?dist}
 URL: https://www.mpfr.org/
 VCS: git:https://gitlab.inria.fr/mpfr/mpfr.git
 
@@ -98,9 +98,6 @@ export LD_LIBRARY_PATH=%{buildroot}%{_libdir}
 %{_infodir}/mpfr.info*
 
 %changelog
-* Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.2-2
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
-
 * Thu Mar 20 2025 Jerry James <loganjerry@gmail.com> - 4.2.2-1
 - Update to MPFR 4.2.2
 

plans/ci.fmf

@@ -1,5 +0,0 @@
-summary: Basic smoke test
-discover:
-    how: fmf
-execute:
-    how: tmt

tests/silvester-number/main.fmf

@@ -1,6 +0,0 @@
-summary: Calculate Silvester Number
-framework: shell
-test: ./test.sh
-component: mpfr
-recommends:
-  - gawk

tests/silvester-number/test.sh

@@ -1,10 +0,0 @@
-#!/bin/sh -eux
-
-OUT="$(gawk -M 'BEGIN {
-  s = 2
-  for (i = 1; i <= 7; i++)
-    s = s * (s - 1) + 1
-  print s
-}')"
-
-test "$OUT" = "113423713055421844361000443"

tests/tests.yml

@@ -0,0 +1,46 @@
+- hosts: all
+  vars:
+    - ansible_python_interpreter: /usr/bin/python3
+    - artifacts: ./artifacts
+  tags:
+    - classic
+    - container
+    - atomic
+  tasks:
+    - name: create artifacts
+      file:
+        path: "{{ artifacts }}"
+        state: directory
+      delegate_to: localhost
+
+    - name: do it all
+      block:
+        - name: calculate Silvester number
+          command: |
+            gawk -M 'BEGIN {
+            s = 2
+            for (i = 1; i <= 7; i++)
+            s = s * (s - 1) + 1
+            print s
+            }'
+          register: silvester
+
+        - name: verify Silvester number
+          fail:
+          when: silvester.stdout != '113423713055421844361000443'
+
+      always:
+        - name: write log
+          copy:
+            content: |
+              stderr:
+              {{ silvester.stderr }}
+              stdout:
+              {{ silvester.stdout }}
+            dest: "{{ artifacts }}/test.log"
+          delegate_to: localhost
+
+#        fetch:
+#          dest: "{{ artifacts }}/"
+#          src: "/tmp/test.log"
+#          flat: yes