apache: enable php 8.0 support
[hcoop/domtool2.git] / src / prefix.mlb
CommitLineData
a49a9bfb
AC
1$(SML_LIB)/basis/basis.mlb
2$(SML_LIB)/basis/unsafe.mlb
95a9abd1 3$(SML_LIB)/basis/sml-nj.mlb
a49a9bfb
AC
4$(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
5$(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb
6$(SML_LIB)/smlnj-lib/HTML/html-lib.mlb
7$(SML_LIB)/smlnj-lib/PP/pp-lib.mlb
8$(SML_LIB)/mlnlffi-lib/internals/c-int.mlb
9
10../openssl/mlton/FFI/libssl.h.mlb
931aae14 11../pcre/mlton/FFI/libpcre.h.mlb
a49a9bfb
AC
12
13compat.sig
a49a9bfb 14
d351d679
AC
15local
16 $(SML_LIB)/basis/mlton.mlb
17in
18 compat_mlton.sml
19end