We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3d62163 commit 75415adCopy full SHA for 75415ad
configure
@@ -82,10 +82,24 @@ rm -f configured-prefix
82
CONFIGURED=""
83
if [ "$DEST_DIR_SET" -ne 0 ]
84
then
85
+ case $DEST_DIR in
86
+ (/*) pathchk -- "$1";;
87
+ (*)
88
+ echo "error: expected an absolute directory name for --chpl-home: $DEST_DIR"
89
+ exit -1
90
+ ;;
91
+ esac
92
# Save target installation directory for 'make install' / install.sh
93
echo "$DEST_DIR" > configured-chpl-home
94
CONFIGURED=configured-chpl-home
95
else
96
+ case $PREFIX in
97
98
99
+ echo "error: expected an absolute directory name for --prefix: $PREFIX"
100
101
102
103
# Save prefix for building the compiler
104
echo "$PREFIX" > configured-prefix
105
CONFIGURED=configured-prefix
0 commit comments