From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Aug 2013 04:16:34 +0000 (-0700)
Subject: README.md: have to include our headers
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=f8417a2a7b21e1b14fb8ce905640f96aafdf8177;hp=3c9548186ff354eeb93e6d850d3de61a884ed089

README.md: have to include our headers
---

diff --git a/README.md b/README.md
index 73173c7..de8c3ef 100644
--- a/README.md
+++ b/README.md
@@ -147,8 +147,9 @@ program should declare its main entry point as `user_main(int, char**)` rather
 than `main(int, char**)`.
 
 Third, test programs must use the standard C11/C++11 library headers (see below
-for supported APIs). Notably, we only support C11 thread syntax (`thrd_t`, etc.
-from `<thread.h>`).
+for supported APIs) and must compile against the versions provided in
+CDSChecker's `include/` directory. Notably, we only support C11 thread syntax
+(`thrd_t`, etc. from `<thread.h>`).
 
 Test programs may also use our included happens-before race detector by
 including <librace.h> and utilizing the appropriate functions