Cache OBJ files in MuJoCo compiler.

PiperOrigin-RevId: 616211896 Change-Id: I3b765f4529957914e6154f0e62ef36fd9df93c96
2024-03-15 12:30:51 -07:00
parent bf66801bc9
commit 74d3d8cb4e
8 changed files with 227 additions and 20 deletions
@@ -983,6 +983,16 @@ MJAPI void mjm_defaultKey(mjmKey& key);
 // Default plugin attributes.
 MJAPI void mjm_defaultPlugin(mjmPlugin& plugin);

+//------------------------- Cache functions ------------------------------------
+
+typedef struct _mjCache* mjCache;
+
+// Set the size of the cache in bytes.
+MJAPI void mj_setCacheSize(mjCache cache, size_t size);
+
+// Get internal global cache context.
+MJAPI mjCache mj_globalCache();
+
 #ifdef __cplusplus
 }
 #endif