diff options
| author | Romain GARBAGE <romain.garbage@inria.fr> | 2025-11-03 14:46:06 +0100 |
|---|---|---|
| committer | Romain GARBAGE <romain.garbage@inria.fr> | 2025-11-04 14:47:22 +0100 |
| commit | 8b2bf44e0fd7c9719817582de515947d5dcb21c8 (patch) | |
| tree | e0db30b5bce270db5db135afe88bc43e06e72442 /patches | |
| parent | 0b4f904ce9e1bde18bc73f66b317b60931c521da (diff) | |
benchmark: Add netlib-hpl.
* guix-science/packages/benchmark.scm (netlib-hpl): New variable.
Diffstat (limited to 'patches')
| -rw-r--r-- | patches/netlib-hpl-use-default-hpl-dat.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/patches/netlib-hpl-use-default-hpl-dat.patch b/patches/netlib-hpl-use-default-hpl-dat.patch new file mode 100644 index 0000000..716eca3 --- /dev/null +++ b/patches/netlib-hpl-use-default-hpl-dat.patch | |||
| @@ -0,0 +1,20 @@ | |||
| 1 | # Use example file for benchmark. | ||
| 2 | --- hpl-2.3/testing/ptest/HPL_pdinfo.c 2024-12-20 14:26:45.296458712 +0100 | ||
| 3 | +++ hpl-2.3/testing/ptest/HPL_pdinfo.c 2024-12-20 14:41:54.994292754 +0100 | ||
| 4 | @@ -297,8 +297,13 @@ | ||
| 5 | if( ( infp = fopen( "HPL.dat", "r" ) ) == NULL ) | ||
| 6 | { | ||
| 7 | - HPL_pwarn( stderr, __LINE__, "HPL_pdinfo", | ||
| 8 | - "cannot open file HPL.dat" ); | ||
| 9 | - error = 1; goto label_error; | ||
| 10 | + fprintf( stderr, "no file HPL.dat in current working directory\n" | ||
| 11 | + "using @@GUIX_HPL_DAT@@/HPL.dat\n\n"); | ||
| 12 | + if( ( infp = fopen( "@@GUIX_HPL_DAT@@/HPL.dat", "r" ) ) == NULL ) | ||
| 13 | + { | ||
| 14 | + HPL_pwarn( stderr, __LINE__, "HPL_pdinfo", | ||
| 15 | + "cannot open file @@GUIX_HPL_DAT@@/HPL.dat"); | ||
| 16 | + error = 1; goto label_error; | ||
| 17 | + } | ||
| 18 | } | ||
| 19 | |||
| 20 | (void) fgets( line, HPL_LINE_MAX - 2, infp ); | ||