Herbie cannot be installed
ruricolist opened this issue · comments
Currently Herbie cannot be installed due to a version mismatch. To reproduce this try building the Herbie Docker image:
Step 5/7 : RUN raco pkg install --auto /src/herbie
00: Resolving "math-lib" via https://download.racket-lang.org/releases/8.1/catalog/
01: Resolving "plot-lib" via https://download.racket-lang.org/releases/8.1/catalog/
02: Resolving "profile-lib" via https://download.racket-lang.org/releases/8.1/catalog/
03: Resolving "rackunit-lib" via https://download.racket-lang.org/releases/8.1/catalog/
04: Resolving "web-server-lib" via https://download.racket-lang.org/releases/8.1/catalog/
05: Resolving "egg-herbie" via https://download.racket-lang.org/releases/8.1/catalog/
06: Resolving "regraph" via https://download.racket-lang.org/releases/8.1/catalog/
07: Resolving "rival" via https://download.racket-lang.org/releases/8.1/catalog/
07: Resolving "rival" via https://pkg-build.racket-lang.org/server/built/catalog/
05: Resolving "egg-herbie" via https://pkg-build.racket-lang.org/server/built/catalog/
06: Resolving "regraph" via https://pkg-build.racket-lang.org/server/built/catalog/
Resolving "fpbench" via https://download.racket-lang.org/releases/8.1/catalog/
Resolving "fpbench" via https://pkg-build.racket-lang.org/server/built/catalog/
Downloading https://download.racket-lang.org/releases/8.1/pkgs/math-lib.zip
Downloading https://download.racket-lang.org/releases/8.1/pkgs/plot-lib.zip
Downloading https://download.racket-lang.org/releases/8.1/pkgs/profile-lib.zip
Downloading https://download.racket-lang.org/releases/8.1/pkgs/rackunit-lib.zip
Downloading https://download.racket-lang.org/releases/8.1/pkgs/web-server-lib.zip
Downloading https://pkg-build.racket-lang.org/server/built/pkgs/egg-herbie.zip
Downloading https://pkg-build.racket-lang.org/server/built/pkgs/regraph.zip
Downloading https://pkg-build.racket-lang.org/server/built/pkgs/rival.zip
Downloading https://pkg-build.racket-lang.org/server/built/pkgs/fpbench.zip
raco pkg install: version mismatch for dependency
for package: /src/herbie
mismatch packages:
egg-herbie (have 1.4, need 1.5)
Uh oh, not good. I'll look into it!
Just to give an update: we've tracked this issue to a faulty build system. #389 is an overhaul of the build system that should resolve this issue, and others like it, permanently. We are looking forward to merging that PR in the coming week and "re-releasing" Herbie 1.5 with newly built packages.