Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
belenios
belenios
Commits
bf304d25
Commit
bf304d25
authored
Jan 08, 2014
by
Stephane Glondu
Browse files
Generate env.sh
parent
5b4397c9
Changes
2
Hide whitespace changes
Inline
Side-by-side
.gitignore
View file @
bf304d25
*~
_build
_run
env.sh
opam-bootstrap.sh
View file @
bf304d25
...
...
@@ -2,6 +2,8 @@
set
-e
BELENIOS_SRC
=
"
${
BELENIOS_SRC
:-
$PWD
}
"
# Check that OCamlDuce is not installed
if
which ocamlduce
>
/dev/null
;
then
echo
"Please uninstall OCamlDuce first, or remove it from your PATH."
...
...
@@ -67,6 +69,15 @@ cd opam-full-1.1.0
make
make
install
echo
echo
"=-=-= Generation of env.sh =-=-="
echo
cat
>
$BELENIOS_SRC
/env.sh
<<
EOF
PATH="
$BELENIOS_SYSROOT
/bootstrap/bin:
\$
PATH"; export PATH;
OPAMROOT=
$OPAMROOT
; export OPAMROOT;
eval
\`
opam config env
\`
EOF
echo
echo
"=-=-= Initialization of OPAM root =-=-="
echo
...
...
@@ -88,9 +99,7 @@ echo "can be safely removed now."
echo
echo
"Next, you need to run the following commands or add them to your ~/.bashrc"
echo
"or equivalent:"
echo
" export PATH=
$BELENIOS_SYSROOT
/bootstrap/bin:
\$
PATH"
echo
" export OPAMROOT=
$OPAMROOT
"
echo
" eval
\`
opam config env
\`
"
echo
" source
$BELENIOS_SRC
/env.sh"
echo
echo
"=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-="
echo
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment