mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-17 21:11:35 +03:00
24 lines
456 B
Bash
24 lines
456 B
Bash
|
#!/bin/sh
|
||
|
|
|
||
|
|
#
|
||
|
|
# Edit these paths to suit your needs; by default all of the python
|
||
|
|
# files for connecting to Cryptol are in the same directory as this
|
||
|
|
# script.
|
||
|
|
#
|
||
|
|
|
||
|
|
CRYNB_ROOT="$( cd "$(dirname "$0")" ; pwd -P )"
|
||
|
|
IPNB_MAGICS=$CRYNB_ROOT
|
||
|
|
|
||
|
|
#
|
||
|
|
# Leave everything below this line alone
|
||
|
|
#
|
||
|
|
|
||
|
|
export CRYNB_ROOT
|
||
|
|
export PYTHONPATH=$PYTHONPATH:$IPNB_MAGICS
|
||
|
|
|
||
|
|
pushd $CRYNB_ROOT
|
||
|
|
ipython notebook \
|
||
|
|
--profile-dir=$CRYNB_ROOT/profile_cryptol \
|
||
|
|
--ext=cryptolmagic
|
||
|
|
popd
|