From 0e19dc81495dd79bc351a77a158115de36fb9976 Mon Sep 17 00:00:00 2001
From: gingold
Date: Sun, 31 Jan 2010 20:58:01 +0000
Subject: Update Makefile: remove sysdeps.

---
 ortho/gcc/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'ortho/gcc')

diff --git a/ortho/gcc/Makefile b/ortho/gcc/Makefile
index c8eba13..00a68c6 100644
--- a/ortho/gcc/Makefile
+++ b/ortho/gcc/Makefile
@@ -15,8 +15,8 @@ include $(orthobe_srcdir)/Makefile.inc
 ORTHO_BASENAME=$(orthobe_srcdir)/ortho_gcc
 ORTHO_PACKAGE=Ortho_Gcc
 
-#LIBFLAGS=$(HOME)/dist/mpfr-2.3.1/.libs/libmpfr.a $(HOME)/dist/gmp-4.2.2/.libs/libgmp.a
-LIBFLAGS=-lmpfr -lgmp
+LIBFLAGS=$(HOME)/dist/mpfr-2.3.1/.libs/libmpfr.a $(HOME)/dist/gmp-4.2.2/.libs/libgmp.a
+#LIBFLAGS=-lmpfr -lgmp
 
 $(ortho_exec): $(AGCC_DEPS) $(ORTHO_BASENAME).ads force
 	$(GNATMAKE) -m -o $@ -g -aI$(ortho_srcdir) \
-- 
cgit