I don't know enough about OpenSSL to weigh in on that part of the
discussion. Maybe that would make it impossible to download some python3
package?
In any case, I am attaching for Dima (thank you for all your help by the
way) the output of set. I also downloaded and just started making
sage.8.2.rc4, so I'll update on that if it works. I'm not super optimistic,
I haven't been able to make Sage since 7.4 (7.4 is the last one that worked
on this laptop) and now I really need the latest Sage to work...
Christelle
On Friday, April 27, 2018 at 6:52:06 AM UTC-4, Jeroen Demeyer wrote:
>
> More precisely, the shell simply interprets
>
> if ![ -z "$OPENSSL_INCLUDE" ]
>
> as
>
> if false
>
> so the typo just breaks support for "OPENSSL_INCLUDE".
>
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
ip0af50b76:sage-8.1 vincent$ set
Apple_PubSub_Socket_Render=/private/tmp/com.apple.launchd.zxudvl9g2y/Render
BASH=/bin/bash
BASH_ARGC=()
BASH_ARGV=()
BASH_LINENO=()
BASH_REMATCH=([0]="1")
BASH_SOURCE=()
BASH_VERSINFO=([0]="3" [1]="2" [2]="57" [3]="1" [4]="release"
[5]="x86_64-apple-darwin17")
BASH_VERSION='3.2.57(1)-release'
COLUMNS=166
DIRSTACK=()
DISPLAY=/private/tmp/com.apple.launchd.FZaIhkPHOi/org.macosforge.xquartz:0
EUID=501
GROUPS=()
HISTFILE=/Users/vincent/.bash_sessions/850EEAFF-A35C-45A7-B385-D92E8A3F83F8.historynew
HISTFILESIZE=500
HISTSIZE=500
HOME=/Users/vincent
HOSTNAME=ip0af50b76.int.uvm.edu
HOSTTYPE=x86_64
IFS=$' \t\n'
LANG=en_US.UTF-8
LINES=48
LOGNAME=vincent
MACHTYPE=x86_64-apple-darwin17
MAILCHECK=60
OLDPWD=/Users/vincent
OPTERR=1
OPTIND=1
OSTYPE=darwin17
PATH=/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/Library/TeX/texbin:/usr/local/munki:/opt/X11/bin:/Applications/Magma
PIPESTATUS=([0]="2")
PPID=3685
PROMPT_COMMAND=update_terminal_cwd
PS1='\h:\W \u\$ '
PS2='> '
PS4='+ '
PWD=/Users/vincent/Applications/sage-8.1
SHELL=/bin/bash
SHELLOPTS=braceexpand:emacs:hashall:histexpand:history:interactive-comments:monitor
SHELL_SESSION_DID_HISTORY_CHECK=1
SHELL_SESSION_DID_INIT=1
SHELL_SESSION_DIR=/Users/vincent/.bash_sessions
SHELL_SESSION_FILE=/Users/vincent/.bash_sessions/850EEAFF-A35C-45A7-B385-D92E8A3F83F8.session
SHELL_SESSION_HISTFILE=/Users/vincent/.bash_sessions/850EEAFF-A35C-45A7-B385-D92E8A3F83F8.history
SHELL_SESSION_HISTFILE_NEW=/Users/vincent/.bash_sessions/850EEAFF-A35C-45A7-B385-D92E8A3F83F8.historynew
SHELL_SESSION_HISTFILE_SHARED=/Users/vincent/.bash_history
SHELL_SESSION_HISTORY=1
SHELL_SESSION_TIMESTAMP_FILE=/Users/vincent/.bash_sessions/_expiration_check_timestamp
SHLVL=1
SSH_AUTH_SOCK=/private/tmp/com.apple.launchd.Dj1bedLP5I/Listeners
TERM=xterm-256color
TERM_PROGRAM=Apple_Terminal
TERM_PROGRAM_VERSION=404
TERM_SESSION_ID=850EEAFF-A35C-45A7-B385-D92E8A3F83F8
TMPDIR=/var/folders/tm/3mshjypj00xg_v3pcxts2p6w0000gn/T/
UID=501
USER=vincent
XPC_FLAGS=0x0
XPC_SERVICE_NAME=0
_=make
shell_session_delete_expired ()
{
if ( [ ! -e "$SHELL_SESSION_TIMESTAMP_FILE" ] || [ -z "$(/usr/bin/find
"$SHELL_SESSION_TIMESTAMP_FILE" -mtime -1d)" ] ); then
local expiration_lock_file="$SHELL_SESSION_DIR/_expiration_lockfile";
if /usr/bin/shlock -f "$expiration_lock_file" -p $$; then
echo -n 'Deleting expired sessions...';
local delete_count=$(/usr/bin/find "$SHELL_SESSION_DIR" -type f
-mtime +2w -print -delete | /usr/bin/wc -l);
[ "$delete_count" -gt 0 ] && echo $delete_count' completed.' ||
echo 'none found.';
( umask 077;
/usr/bin/touch "$SHELL_SESSION_TIMESTAMP_FILE" );
/bin/rm "$expiration_lock_file";
fi;
fi
}
shell_session_history_allowed ()
{
if [ -n "$HISTFILE" ]; then
local allowed=0;
if shopt -q histappend || [ -n "$HISTTIMEFORMAT" ]; then
allowed=${SHELL_SESSION_HISTORY:-0};
else
allowed=${SHELL_SESSION_HISTORY:=1};
fi;
if [ $allowed -eq 1 ]; then
return 0;
fi;
fi;
return 1
}
shell_session_history_check ()
{
if [ ${SHELL_SESSION_DID_HISTORY_CHECK:-0} -eq 0 ]; then
SHELL_SESSION_DID_HISTORY_CHECK=1;
if shell_session_history_allowed; then
shell_session_history_enable;
fi;
if [ "$PROMPT_COMMAND" = "shell_session_history_check" ]; then
unset PROMPT_COMMAND;
else
if [[ $PROMPT_COMMAND =~ (.*)(; *shell_session_history_check *|
*shell_session_history_check *; *)(.*) ]]; then
PROMPT_COMMAND="${BASH_REMATCH[1]}${BASH_REMATCH[3]}";
fi;
fi;
fi
}
shell_session_history_enable ()
{
( umask 077;
/usr/bin/touch "$SHELL_SESSION_HISTFILE_NEW" );
HISTFILE="$SHELL_SESSION_HISTFILE_NEW";
SHELL_SESSION_HISTORY=1
}
shell_session_save ()
{
if [ -n "$SHELL_SESSION_FILE" ]; then
echo -n 'Saving session...';
( umask 077;
echo 'echo Restored session: "$(/bin/date -r '$(/bin/date +%s)')"'
>|"$SHELL_SESSION_FILE" );
declare -F shell_session_save_user_state > /dev/null &&
shell_session_save_user_state;
shell_session_history_allowed && shell_session_save_history;
echo 'completed.';
fi
}
shell_session_save_history ()
{
shell_session_history_enable;
history -a;
if [ -f "$SHELL_SESSION_HISTFILE_SHARED" ] && [ ! -s
"$SHELL_SESSION_HISTFILE" ]; then
echo -ne '\n...copying shared history...';
( umask 077;
/bin/cp "$SHELL_SESSION_HISTFILE_SHARED" "$SHELL_SESSION_HISTFILE" );
fi;
echo -ne '\n...saving history...';
( umask 077;
/bin/cat "$SHELL_SESSION_HISTFILE_NEW" >> "$SHELL_SESSION_HISTFILE_SHARED"
);
( umask 077;
/bin/cat "$SHELL_SESSION_HISTFILE_NEW" >> "$SHELL_SESSION_HISTFILE" );
: >|"$SHELL_SESSION_HISTFILE_NEW";
if [ -n "$HISTFILESIZE" ]; then
echo -n 'truncating history files...';
HISTFILE="$SHELL_SESSION_HISTFILE_SHARED";
HISTFILESIZE="$HISTFILESIZE";
HISTFILE="$SHELL_SESSION_HISTFILE";
HISTFILESIZE="$size";
HISTFILE="$SHELL_SESSION_HISTFILE_NEW";
fi;
echo -ne '\n...'
}
shell_session_update ()
{
shell_session_save && shell_session_delete_expired
}
update_terminal_cwd ()
{
local url_path='';
{
local i ch hexch LC_CTYPE=C LC_ALL=;
for ((i = 0; i < ${#PWD}; ++i))
do
ch="${PWD:i:1}";
if [[ "$ch" =~ [/._~A-Za-z0-9-] ]]; then
url_path+="$ch";
else
printf -v hexch "%02X" "'$ch";
url_path+="%${hexch: -2:2}";
fi;
done
};
printf '\e]7;%s\a' "file://$HOSTNAME$url_path"
}
