From 106b1339ac835c747fa0784ffc775d6d6a68bdf7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Mon, 4 Nov 2013 11:52:46 +0100
Subject: [PATCH] Corrected Makefile for binary distribution

---
 Makefile-bin | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile-bin b/Makefile-bin
index cd5013c..131b266 100644
--- a/Makefile-bin
+++ b/Makefile-bin
@@ -6,7 +6,7 @@ all: install
 
 install:
 	$(INSTALL) -d $(INSTALL_BINDIR)
-	$(INSTALL) bin/$(COMPILER).$(TARGET) $(INSTALL_BINDIR)/$(COMPILER)
-	$(INSTALL) bin/$(SIMULATOR).$(TARGET) $(INSTALL_BINDIR)/$(SIMULATOR)
+	$(INSTALL) bin/$(COMPILER) $(INSTALL_BINDIR)/$(COMPILER)
+	$(INSTALL) bin/$(SIMULATOR) $(INSTALL_BINDIR)/$(SIMULATOR)
 	(cd lib; $(MAKE) install)