Commit d83e713e authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

[script] Don't initialize the opam switch with cduce packages.

parent 2d0359aa
......@@ -33,6 +33,18 @@ do
fi
done
DEPS="$(for i in ${DEPS}; do echo "${i}"; done | sort -u | xargs echo)"
RDEPS=""
for d in ${DEPS};
do
q="$d"
for p in ${PACKAGES};
do
if test "$d" = "$p"; then
q=""
fi
done
RDEPS="${RDEPS} $q"
done
"$OPAM" pin -y --no-action add cduce-types "${GIT_REPO}#${BRANCH}"
"$OPAM" pin -y --no-action add cduce "${GIT_REPO}#${BRANCH}"
"$OPAM" install -y $DEPS
\ No newline at end of file
"$OPAM" install -y $RDEPS
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment