Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Install sage-env-config, not sage-env-config.in
Browse files Browse the repository at this point in the history
  • Loading branch information
jdemeyer committed Mar 31, 2017
1 parent 2aafa6f commit 4eeb130
Showing 1 changed file with 10 additions and 12 deletions.
22 changes: 10 additions & 12 deletions configure.ac
Original file line number Diff line number Diff line change
Expand Up @@ -873,24 +873,22 @@ echo >&7
echo >&7
echo >&7 'SCRIPT_SOURCES = \'
for file in "$SAGE_SRC/bin/"*; do
echo >&7 " \$(SAGE_SRC)${file#$SAGE_SRC} \\"
done
echo >&7
# We need sage-env-config to exist before running this.
# TODO: fix this in Trac #21524
touch "$SAGE_SRC/bin/sage-env-config"
echo >&7 'SCRIPTS = \'
for file in "$SAGE_SRC/bin/"*; do
echo >&7 " \$(SAGE_LOCAL)${file#$SAGE_SRC} \\"
done
echo >&7
echo >&7 'EXTCODE_SOURCES = \'
for file in `find "$SAGE_SRC"/ext -type f`; do
echo >&7 " \$(SAGE_SRC)${file#$SAGE_SRC} \\"
# Skip files with ".in" extension
ext=${file##*.}
if test "$ext" != in; then
echo >&7 " \$(SAGE_LOCAL)${file#$SAGE_SRC} \\"
fi
done
echo >&7
echo >&7 'EXTCODE = \'
for file in `find "$SAGE_SRC"/ext -type f`; do
echo >&7 " \$(SAGE_EXTCODE)${file#$SAGE_SRC/ext} \\"
echo >&7 " \$(SAGE_EXTCODE)${file#$SAGE_SRC/ext} \\"
done
echo >&7
Expand Down

0 comments on commit 4eeb130

Please sign in to comment.