Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Praetorius, Simon
dune-easybuild
Commits
92662f07
Commit
92662f07
authored
Sep 05, 2018
by
Praetorius, Simon
Browse files
duneeasyconfig.sh updated
parent
f3af5985
Changes
1
Hide whitespace changes
Inline
Side-by-side
tools/duneeasyconfig.sh
View file @
92662f07
...
...
@@ -2,6 +2,7 @@
if
[[
$#
-ne
2
]]
;
then
echo
"usage:
$0
dune-module (core|staging|extensions|...)"
exit
1
fi
DIR
=
"
$(
cd
"
$(
dirname
"
${
BASH_SOURCE
[0]
}
"
)
/.."
>
/dev/null
&&
pwd
)
"
...
...
@@ -13,7 +14,7 @@ TOOLCHAIN="foss"
TOOLCHAIN_VERSION
=
"2018a"
OUT_DIR
=
${
DIR
}
/modules
mkdir
-p
${
DIR
}
/d/
${
MODULE
}
mkdir
-p
${
DIR
}
/
modules/
d/
${
MODULE
}
GIT_REPO
=
"https://gitlab.dune-project.org/
${
GROUP
}
/
${
MODULE
}
.git"
GIT_DIR
=
"/tmp/
${
USER
}
/dune/
${
GROUP
}
/
${
MODULE
}
"
...
...
@@ -28,7 +29,7 @@ cd ${GIT_DIR}
VERSION
=
`
date
+%Y.%m.%d
`
DEPENDENCIES
=
$(
python
${
DIR
}
/tools/parse_dune.module.py
${
GIT_DIR
}
/dune.module
)
git archive
--format
=
tar.gz
--prefix
=
${
MODULE
}
-v
${
VERSION
}
/ HEAD
>
${
DIR
}
/d/
${
MODULE
}
/
${
MODULE
}
-v
${
VERSION
}
.tar.gz
git archive
--format
=
tar.gz
--prefix
=
${
MODULE
}
-v
${
VERSION
}
/ HEAD
>
${
DIR
}
/
modules/
d/
${
MODULE
}
/
${
MODULE
}
-v
${
VERSION
}
.tar.gz
EASYCONFIG
=
"
${
OUT_DIR
}
/
${
MODULE
}
-
${
VERSION
}
-
${
TOOLCHAIN
}
-
${
TOOLCHAIN_VERSION
}
.eb"
cat
>
${
EASYCONFIG
}
<<
EOL
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a 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