+nobase_dist_include_HEADERS = urcu/compiler.h urcu/hlist.h urcu/list.h \
+ urcu/rculist.h urcu/rcuhlist.h urcu/system.h urcu/futex.h \
+ urcu/uatomic/generic.h urcu/arch/generic.h urcu/wfstack.h \
+ urcu/wfqueue.h urcu/rculfstack.h urcu/rculfqueue.h \
+ urcu/ref.h urcu/cds.h urcu/urcu_ref.h urcu/urcu-futex.h \
+ urcu/uatomic_arch.h urcu/rculfhash.h urcu/wfcqueue.h \
+ urcu/lfstack.h urcu/syscall-compat.h \
+ $(top_srcdir)/include/urcu/map/*.h \
+ $(top_srcdir)/include/urcu/static/*.h \
+ urcu/rand-compat.h \
+ urcu/tls-compat.h urcu/debug.h
+
+# Don't distribute generated headers
+nobase_nodist_include_HEADERS = urcu/arch.h urcu/uatomic.h urcu/config.h
+
+EXTRA_DIST = $(top_srcdir)/include/urcu/arch/*.h \
+ $(top_srcdir)/include/urcu/uatomic/*.h