hdl / conda-eda

Conda recipes for FPGA EDA tools for simulation, synthesis, place and route and bitstream generation.
https://anaconda.org/LiteX-Hub
Apache License 2.0
95 stars 26 forks source link

ci/conda-get: use bash to run miniconda #270

Closed proppy closed 1 year ago

proppy commented 1 year ago

Looks like miniconda started using bashism:

  ./Miniconda3-latest-Linux-x86_64.sh: 444: [[: not found

See https://github.com/google/CFU-Playground/issues/752

proppy commented 1 year ago

/cc @mithro @ajelinski