diff --git a/_distributions/archlinux/install_depext.sh b/_distributions/archlinux/install_depext.sh index dc4e3188d8cc9aef840feb8ade657e83305cee09..425a53408974ba3eea453ed671e90313678877b9 100755 --- a/_distributions/archlinux/install_depext.sh +++ b/_distributions/archlinux/install_depext.sh @@ -2,4 +2,4 @@ set -ex # opam: Sorry, don't know how to install packages on your arch system #packages=`cat package_list` -#opam depext --yes $packages +#opam depext --yes --with-test $packages diff --git a/_distributions/debian/install_depext.sh b/_distributions/debian/install_depext.sh index c084bdbfde0597a11f789577853a28d6257a8700..e8f912e55a8f4fb58e358f9b915f80a944975063 100755 --- a/_distributions/debian/install_depext.sh +++ b/_distributions/debian/install_depext.sh @@ -2,4 +2,4 @@ set -ex packages=`cat package_list` sudo apt-get update -opam depext --yes $packages +opam depext --yes --with-test $packages