From fc5763b302781427cdff9ffb8a7e94072031f605 Mon Sep 17 00:00:00 2001
From: Joris Vaillant <joris.vaillant@inria.fr>
Date: Mon, 27 Jul 2026 15:30:49 +0200
Subject: [PATCH] pixi: Don't use crocoddyl in new-verion environment

---
 pixi.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pixi.toml b/pixi.toml
index b34048486..2b5482d1d 100644
--- a/pixi.toml
+++ b/pixi.toml
@@ -129,7 +129,7 @@ configure-new-version = { cmd = [
   "-DCMAKE_INSTALL_PREFIX=$CONDA_PREFIX",
   "-DCMAKE_BUILD_TYPE=$ALIGATOR_BUILD_TYPE",
   "-DBUILD_WITH_PINOCCHIO_SUPPORT=ON",
-  "-DBUILD_CROCODDYL_COMPAT=ON",
+  "-DBUILD_CROCODDYL_COMPAT=OFF",
   "-DBUILD_WITH_OPENMP_SUPPORT=ON",
   "-DBUILD_BENCHMARKS=ON",
   "-DBUILD_EXAMPLES=ON",