Fix --enable-unregistered by declaring missing RTS functions (#8748)
authorSergei Trofimovich <slyfox@gentoo.org>
Thu, 13 Feb 2014 13:23:48 +0000 (07:23 -0600)
committerAustin Seipp <austin@well-typed.com>
Mon, 17 Feb 2014 07:46:03 +0000 (01:46 -0600)
Signed-off-by: Austin Seipp <austin@well-typed.com>
includes/stg/MiscClosures.h

index f8c8f0d..ff781dd 100644 (file)
@@ -465,6 +465,8 @@ extern StgWord      RTS_VAR(CCS_LIST);         /* registered CCS list */
 extern StgWord      CCS_SYSTEM[];
 extern unsigned int RTS_VAR(CC_ID);            /* global ids */
 extern unsigned int RTS_VAR(CCS_ID);
+RTS_FUN_DECL(enterFunCCS);
+RTS_FUN_DECL(pushCostCentre);
 
 // Capability.c
 extern unsigned int n_capabilities;