move lib_core/unused/format.ml to lib_core_strings/

It is actually used in OCaml.string_of_v
aryx · Apr 20, 2024 · a71e884 · a71e884
1 parent 733f88b
commit a71e884
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 3 deletions.
diff --git a/authors.txt b/authors.txt
@@ -1,3 +1,4 @@
+Most of the code in this repository was written by
 Yoann Padioleau
 
 except:

diff --git a/lib_core/unused/format.ml → lib_core/strings/format.ml b/lib_core/unused/format.ml → lib_core/strings/format.ml
diff --git a/lib_core/unused/format.mli → lib_core/strings/format.mli b/lib_core/unused/format.mli → lib_core/strings/format.mli
diff --git a/mkconfig b/mkconfig
@@ -1,11 +1,12 @@
 # -*- sh -*-
 
 OPT=.opt
-COMPFLAGS=-g -dtypes -bin-annot -absname
+#-g -dtypes -bin-annot -absname
 #WARNING_FLAGS?=-w +A-4-29-6-45-41-44-48 -warn-error +a 
 #OCAMLCFLAGS=-g -thread -dtypes $(WARNING_FLAGS) $(OCAMLCFLAGS_EXTRA) 
-LINKFLAGS=-g
-# -custom
+COMPFLAGS=
+#-g -custom
+LINKFLAGS=
 
 OCAMLC=ocamlc$OPT 
 OCAMLLEX=ocamllex #-ml # -ml for debugging lexer, but slightly slower