--- lablgtk-2.18.13/src/Makefile.orig	2022-10-06 01:55:37.000000000 -0600
+++ lablgtk-2.18.13/src/Makefile	2023-01-19 21:11:33.447627227 -0700
@@ -159,6 +159,7 @@ lablgtksourceview.cmxa: $(GTKSOURCEVIEWC
 
 endif
 ifdef USE_GTKSOURCEVIEW2
+.PRECIOUS: sourceView2Enums.ml
 MLLIBS += lablgtksourceview2.cma
 CLIBS += liblablgtksourceview2$(XA)
 GTKSOURCEVIEW2MLOBJS = gtkSourceView2.cmo gSourceView2.cmo