From 16253ef7dccd56fcc724bd4a062c864c96200712 Mon Sep 17 00:00:00 2001
From: jjgarcia <jjgarcia>
Date: Fri, 31 Oct 2003 10:34:56 +0000
Subject: [PATCH] -lgmp is already included in CLIBS

---
 src/cmp/cmpmain.lsp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/cmp/cmpmain.lsp b/src/cmp/cmpmain.lsp
index cb85280dd..25745c07b 100644
--- a/src/cmp/cmpmain.lsp
+++ b/src/cmp/cmpmain.lsp
@@ -161,9 +161,6 @@ int init_~A(cl_object cblock)
 	funcall(1,_intern(\"TOP-LEVEL\",system_package));
 	return 0;" "")))
   (let* (init-name c-name o-name)
-    #-dlopen
-    (when (eq target :program)
-      (push "-lgmp" ld-flags))
     (dolist (item (reverse lisp-files))
       (cond ((symbolp item)
 	     (push (format nil "-l~A" (string-downcase item)) ld-flags)