Merge 8d92110 into e74b8ad

MilesCranmer · Jul 2, 2023 · e8e2080 · e8e2080
2 parents e74b8ad + 8d92110
commit e8e2080
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/pysr/julia_helpers.py b/pysr/julia_helpers.py
@@ -118,7 +118,16 @@ def _import_error():
 def _process_julia_project(julia_project):
     if julia_project is None:
         is_shared = True
-        processed_julia_project = f"pysr-{__version__}"
+        juliainfo = _load_juliainfo()
+        julia_version = ".".join(
+            map(str, (juliainfo.version_major, juliainfo.version_minor))
+        )
+        python_version = ".".join(map(str, sys.version_info[:2]))
+        processed_julia_project = (
+            f"pysr-{__version__}"
+            f"-py-{python_version}"
+            f"-jl-{julia_version}"
+        )
     elif julia_project[0] == "@":
         is_shared = True
         processed_julia_project = julia_project[1:]