2020-12-26 01:47:55 +01:00
|
|
|
|
2020-12-28 12:03:13 +01:00
|
|
|
(library
|
2020-10-09 09:47:57 +02:00
|
|
|
(name common)
|
2020-09-26 12:02:53 +02:00
|
|
|
(public_name qcaml.common)
|
2020-12-28 12:03:13 +01:00
|
|
|
(synopsis
|
|
|
|
"Utility functions used by all the other directories."
|
|
|
|
)
|
2020-09-26 12:02:53 +02:00
|
|
|
(libraries
|
2020-12-28 12:03:13 +01:00
|
|
|
str
|
|
|
|
zarith
|
|
|
|
getopt
|
2022-12-12 18:16:17 +01:00
|
|
|
camlp-streams
|
2020-12-28 12:03:13 +01:00
|
|
|
)
|
|
|
|
|
|
|
|
(c_names
|
|
|
|
util
|
|
|
|
)
|
|
|
|
(c_flags (:standard)
|
2022-12-13 10:55:47 +01:00
|
|
|
-Ofast -mtune=native -fPIC
|
2020-12-28 12:03:13 +01:00
|
|
|
)
|
2020-12-26 01:47:55 +01:00
|
|
|
)
|
2020-12-28 12:03:13 +01:00
|
|
|
|