Try force removal of plugins

herbie-fp · Oct 10, 2024 · 72e0087 · 72e0087
1 parent f5d3d48
commit 72e0087
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/infra/platforms/baseline.py b/infra/platforms/baseline.py
@@ -20,7 +20,8 @@
 default_start_seed = 1
 
 def install_herbie(install_dir: Path):
-    subprocess.run(['raco', 'pkg', 'remove', 'avx-herbie', 'fdlibm-herbie', 'vdt-herbie'])
+    # TODO: Don't know if this will work or not
+    subprocess.run(['raco', 'pkg', 'remove', '--force', 'avx-herbie', 'fdlibm-herbie', 'vdt-herbie'])
     subprocess.run(['git', 'clone', '--branch', 'v2.0.2', 'https://github.com/herbie-fp/herbie', install_dir])
     subprocess.run(['make', 'install'], cwd=install_dir)