Skip to content
This repository was archived by the owner on Dec 17, 2020. It is now read-only.

Commit 12ea713

Browse files
committed
Fix generate_makefile.bash options handling for HPX
1 parent 8d0daa4 commit 12ea713

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

generate_makefile.bash

+5-5
Original file line numberDiff line numberDiff line change
@@ -16,8 +16,8 @@ do
1616
QTHREADS_PATH="${key#*=}"
1717
;;
1818
--hpx-path*)
19-
HPX_PATH="${key#*=}"
20-
;;
19+
HPX_PATH="${key#*=}"
20+
;;
2121
--prefix*)
2222
PREFIX="${key#*=}"
2323
;;
@@ -52,15 +52,15 @@ do
5252
QTHREADS_PATH="${key#*=}"
5353
fi
5454
;;
55+
--with-hpx-options*)
56+
KOKKOS_HPX_OPT="${key#*=}"
57+
;;
5558
--with-hpx*)
5659
KOKKOS_DEVICES="${KOKKOS_DEVICES},HPX"
5760
if [ -z "$HPX_PATH" ]; then
5861
HPX_PATH="${key#*=}"
5962
fi
6063
;;
61-
--with-hpx-options*)
62-
KOKKOS_HPX_OPT="${key#*=}"
63-
;;
6464
--with-devices*)
6565
DEVICES="${key#*=}"
6666
KOKKOS_DEVICES="${KOKKOS_DEVICES},${DEVICES}"

0 commit comments

Comments
 (0)