From f478b74ed6549d080222b13efe44056109831c22 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 30 Jun 2010 16:22:32 -0600
Subject: [PATCH] fix ++lib flag for raco ctool --c-mods

---
 collects/compiler/commands/ctool.rkt | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/collects/compiler/commands/ctool.rkt b/collects/compiler/commands/ctool.rkt
index 98570483c2..b0686e6ac2 100644
--- a/collects/compiler/commands/ctool.rkt
+++ b/collects/compiler/commands/ctool.rkt
@@ -210,6 +210,13 @@
           (printf "C compiler flags: ~s\n"
                   (expand-for-link-variant (current-extension-preprocess-flags))))
        ("Show C preprocess (xform) flags")]]
+     [help-labels
+      "----------------------- C-embeddable module flags ---------------------------"]
+     [multi
+      [("++lib")
+       ,(lambda (f l)
+          (exe-embedded-libraries (append (exe-embedded-libraries) (list l))))
+       ("Embed <lib> in --c-mods output" "lib")]]
      [help-labels
       "-------------------- -c/-e compiler optimization flags ----------------------"]
      [once-each