Disable runtimes

CatalaLang · Dec 19, 2024 · df26392 · df26392
1 parent f566f28
commit df26392
Showing 1 changed file with 11 additions and 11 deletions.
diff --git a/runtimes/dune b/runtimes/dune
@@ -9,11 +9,11 @@
 
 ; Python runtime
 
-(install
- (files
-  (glob_files_rec
-   (python/** with_prefix runtime_python)))
- (section lib))
+; (install                                    ;
+;  (files                                     ;
+;   (glob_files_rec                           ;
+;    (python/** with_prefix runtime_python))) ;
+;  (section lib))                             ;
 
 ;; ; Rescript runtime -- disabled
 ;;
@@ -23,9 +23,9 @@
 ;;    (rescript/** with_prefix runtime_rescript)))
 ;;  (section lib))
 
-(install
- (files
-  (c/catala_runtime.a as runtime_c/libcatala_runtime.a)
-  (c/dates_calc.h as runtime_c/dates_calc.h)
-  (c/runtime.h as runtime_c/catala_runtime.h))
- (section lib))
+; (install                                                ;
+;  (files                                                 ;
+;   (c/catala_runtime.a as runtime_c/libcatala_runtime.a) ;
+;   (c/dates_calc.h as runtime_c/dates_calc.h)            ;
+;   (c/runtime.h as runtime_c/catala_runtime.h))          ;
+;  (section lib))                                         ;