diff options
author | gerald <gerald@FreeBSD.org> | 2019-06-25 20:55:27 +0800 |
---|---|---|
committer | gerald <gerald@FreeBSD.org> | 2019-06-25 20:55:27 +0800 |
commit | be44123ce8a18e644bbf130f2ad5406afefcc803 (patch) | |
tree | e6947cbb1a9f1e154d45cbef63458607d3587f60 /lang | |
parent | 53df1fe92539b6020c65ea5d7134cc2582c2a198 (diff) | |
download | freebsd-ports-gnome-be44123ce8a18e644bbf130f2ad5406afefcc803.tar.gz freebsd-ports-gnome-be44123ce8a18e644bbf130f2ad5406afefcc803.tar.zst freebsd-ports-gnome-be44123ce8a18e644bbf130f2ad5406afefcc803.zip |
Fix up pkg-plist in case the THREADS option (which is on by default) is
off by marking a couple of files added in revision 505020 conditional on
that option.
PR: 218333
Diffstat (limited to 'lang')
-rw-r--r-- | lang/ocaml/pkg-plist | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lang/ocaml/pkg-plist b/lang/ocaml/pkg-plist index 13afc4904bcf..5d364d07a966 100644 --- a/lang/ocaml/pkg-plist +++ b/lang/ocaml/pkg-plist @@ -1763,11 +1763,11 @@ lib/ocaml/sys.cmx lib/ocaml/sys.ml lib/ocaml/sys.mli lib/ocaml/sys.p.cmt -lib/ocaml/threads/condition.cmti -lib/ocaml/threads/event.cmti -lib/ocaml/threads/mutex.cmti -lib/ocaml/threads/thread.cmti -lib/ocaml/threads/threadUnix.cmti +%%THREADS%%lib/ocaml/threads/condition.cmti +%%THREADS%%lib/ocaml/threads/event.cmti +%%THREADS%%lib/ocaml/threads/mutex.cmti +%%THREADS%%lib/ocaml/threads/thread.cmti +%%THREADS%%lib/ocaml/threads/threadUnix.cmti lib/ocaml/topdirs.cmi lib/ocaml/topdirs.cmt lib/ocaml/topdirs.cmti |