diff options
| author | Eric Langlois | 2022-04-29 10:56:05 -0700 |
|---|---|---|
| committer | Eric Langlois | 2022-04-29 10:56:05 -0700 |
| commit | 5ac505877dbf07fe8d18baaa6b864220e38ce541 (patch) | |
| tree | 50017bca2662d7e5f67bfaf011a27963a01a5e60 /mujoco-py.patch | |
| parent | 0056383f149ae3f9232f1d2dbf2bfbf8a4502f8b (diff) | |
| download | aur-python-mujoco-py.tar.gz | |
upgpkg: python-mujoco-py 2.1.2.14-3
Patch to work with mujoco 2.1.5
Diffstat (limited to 'mujoco-py.patch')
| -rw-r--r-- | mujoco-py.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mujoco-py.patch b/mujoco-py.patch index 2ab1c14296b7..ce4cd6c68a82 100644 --- a/mujoco-py.patch +++ b/mujoco-py.patch @@ -116,7 +116,7 @@ diff '--color=auto' --unified --recursive --text mujoco-py-2.1.2.14.orig/mujoco_ - mujoco_path = join(expanduser('~'), '.mujoco', 'mujoco210') + mujoco_path = join(expanduser('~'), '.mujoco', 'mujoco') + if not exists(mujoco_path): -+ mujoco_path = "/opt/mujoco" ++ mujoco_path = "/usr/include/mujoco" # We get lots of github issues that seem to be missing these # so check that mujoco is really there and raise errors if not. |