Test ran at 2024-12-17 00:49:37.814217+00:00 SOLUTION: mathpaqs=20230121.0.0: A collection of mathematical, 100% portable, packages Origin: source archive mathpaqs_2023_01_21.zip at https://sourceforge.net/projects/mathpaqs/files/mathpaqs_2023_01_21.zip with hash sha512:773568e53ad59b7e7a55816e1b5cc57f9a20518e80b8942f2f4a5235afc6433984fc8e85a608e7743b12caa30fba4c9adce74a1a6f296c5c1595fe55ae6dc3d5 Properties: Author: Gautier de Montmollin Description: A collection of mathematical, 100% portable, packages Executable: arenstorf Executable: arithmetic_compression Executable: biomorph Executable: champ_vt Executable: cr_demo Executable: fractal Executable: gnat_int Executable: ppm2func Executable: show_floats_limits Executable: test_beta Executable: test_cholesky Executable: test_copulas Executable: test_ert Executable: test_estimators Executable: test_formulas Executable: test_gamma Executable: test_generic_real_linear_equations Executable: test_normal Executable: test_pareto Executable: test_poisson Executable: test_qr Executable: test_random_performance Executable: test_rsa Executable: test_samples Executable: test_sparse Executable: test_u_rand Executable: test_discrete_random_simulation License: MIT Maintainer: alejandro@mosteo.com Maintainers_Logins: mosteo Maintainers_Logins: zertovitch Name: mathpaqs Tag: mathematics Tag: numerics Tag: algebra Tag: matrix Tag: probability Tag: statistics Tag: runge Tag: kutta Tag: runge-kutta Version: 20230121.0.0 Website: https://mathpaqs.sourceforge.io/ LOG: Note: Deploying mathpaqs=20230121.0.0... #=#=# ######################################################################## 100.0% ######################################################################## 100.0% ######################################################################## 100.0% ######################################################################## 100.0%##O#-# ##=O#- # ######################################################################## 100.0% Note: Building mathpaqs/mathpaqs.gpr... Compile [Ada] fractal.adb [Ada] biomorph.adb [Ada] champ_vt.adb [Ada] arenstorf.adb [Ada] cr_demo.adb [Ada] ppm2func.adb [Ada] arithmetic_compression.adb [Ada] show_floats_limits.adb ppm2func.adb:27:20: info: atomic synchronization set for "Unknown_Format" [-gnatw.n] [Ada] heat.adb [Ada] pi_digits.adb [Ada] three_lakes.adb [Ada] covid_19.adb heat.adb:50:22: info: atomic synchronization set for "Bad_Dimensions" [-gnatw.n] [Ada] graph.adb [Ada] contours.adb [Ada] multi_precision_integers.adb [Ada] dormand_prince_8.ads [Ada] g_matrices.adb graph.adb:44:43: warning: there are no others [-gnatwr] graph.adb:48:43: warning: there are no others [-gnatwr] graph.adb:238:03: warning: "current_fill_pattern_user" is not modified, could be declared constant [-gnatwk] graph.adb:249:03: warning: "multi_page_available" is not modified, could be declared constant [-gnatwk] graph.adb:758:23: warning: formal parameter "x" is not referenced [-gnatwu] graph.adb:758:25: warning: formal parameter "y" is not referenced [-gnatwu] graph.adb:758:36: warning: formal parameter "border" is not referenced [-gnatwu] graph.adb:832:20: warning: lower bound check only fails if it is invalid [-gnatwc] graph.adb:987:12: warning: "others" choice is redundant [-gnatwr] graph.adb:987:12: warning: previous choices cover all values [-gnatwr] graph.adb:1146:49: warning: redundant conversion, "dx" is of type "Float" [-gnatwr] graph.adb:1147:49: warning: redundant conversion, "dy" is of type "Float" [-gnatwr] graph.adb:1170:49: warning: redundant conversion, "dx" is of type "Float" [-gnatwr] graph.adb:1171:49: warning: redundant conversion, "dy" is of type "Float" [-gnatwr] graph.adb:1204:07: warning: "f" is not modified, could be declared constant [-gnatwk] graph.adb:1372:05: warning: "c" is not modified, could be declared constant [-gnatwk] graph.adb:1559:27: warning: formal parameter "col" is not referenced [-gnatwu] graph.adb:1559:32: warning: formal parameter "r" is not referenced [-gnatwu] graph.adb:1559:34: warning: formal parameter "g" is not referenced [-gnatwu] graph.adb:1559:36: warning: formal parameter "b" is not referenced [-gnatwu] [Ada] graph-postscript_driver.adb [Ada] time_display.adb multi_precision_integers.adb:117:27: info: atomic synchronization set for "Conversion_Overflow" [-gnatw.n] multi_precision_integers.adb:817:24: info: atomic synchronization set for "Conflict_With_Rem" [-gnatw.n] multi_precision_integers.adb:963:32: info: atomic synchronization set for "Quotient_Constraint_Error" [-gnatw.n] multi_precision_integers.adb:1219:03: info: in instantiation at line 1048 [-gnatw.n] multi_precision_integers.adb:1219:03: info: atomic synchronization set for "V_Zero" [-gnatw.n] multi_precision_integers.adb:1219:03: info: in instantiation at line 1048 [-gnatw.n] multi_precision_integers.adb:1219:03: info: atomic synchronization set for "V1_Zero" [-gnatw.n] multi_precision_integers.adb:1222:03: info: in instantiation at line 1048 [-gnatw.n] multi_precision_integers.adb:1222:03: info: atomic synchronization set for "V_Zero" [-gnatw.n] multi_precision_integers.adb:1222:03: info: in instantiation at line 1048 [-gnatw.n] multi_precision_integers.adb:1222:03: info: atomic synchronization set for "V1_Zero" [-gnatw.n] [Ada] multi_precision_integers-check.adb multi_precision_integers-check.adb:48:55: info: atomic synchronization set for "Negative_Block" [-gnatw.n] multi_precision_integers-check.adb:48:55: info: atomic synchronization set for "Last_Index_Has_Zero" [-gnatw.n] multi_precision_integers-check.adb:48:55: info: atomic synchronization set for "Field_Last_Outside_Range" [-gnatw.n] multi_precision_integers-check.adb:48:55: info: atomic synchronization set for "Field_Last_Is_Negative" [-gnatw.n] [Ada] multi_precision_integers-io.adb multi_precision_integers-io.adb:82:23: info: atomic synchronization set for "Formatting_Error" [-gnatw.n] Bind [gprbind] fractal.bexch [gprbind] biomorph.bexch [gprbind] champ_vt.bexch [gprbind] arenstorf.bexch [Ada] fractal.ali [Ada] biomorph.ali [Ada] champ_vt.ali [Ada] arenstorf.ali [gprbind] cr_demo.bexch [gprbind] ppm2func.bexch [Ada] cr_demo.ali [gprbind] arithmetic_compression.bexch [Ada] ppm2func.ali [gprbind] show_floats_limits.bexch [Ada] arithmetic_compression.ali [Ada] show_floats_limits.ali [gprbind] heat.bexch [gprbind] pi_digits.bexch [gprbind] three_lakes.bexch [Ada] heat.ali [Ada] pi_digits.ali [Ada] three_lakes.ali [gprbind] covid_19.bexch [Ada] covid_19.ali Link [link] fractal.adb [link] biomorph.adb [link] champ_vt.adb [link] arenstorf.adb [link] cr_demo.adb [link] ppm2func.adb [link] arithmetic_compression.adb [link] show_floats_limits.adb [link] heat.adb [link] pi_digits.adb [link] three_lakes.adb [link] covid_19.adb Build finished successfully in 3.16 seconds. mathpaqs=20230121.0.0 successfully retrieved and built. There are no dependencies. Found declared GPR file: mathpaqs.gpr FAIL: Declared executable not found after compilation: gnat_int