1
0
mirror of https://git.openwrt.org/openwrt/openwrt.git synced 2024-11-19 15:05:12 +01:00
openwrt/tools/mpfr/Makefile

42 lines
806 B
Makefile
Raw Normal View History

#
# Copyright (C) 2009 OpenWrt.org
#
# This is free software, licensed under the GNU General Public License v2.
# See /LICENSE for more information.
#
include $(TOPDIR)/rules.mk
PKG_NAME:=mpfr
PKG_VERSION:=2.3.2
PKG_SOURCE_URL:=http://www.mpfr.org/mpfr-2.3.2
PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.bz2
PKG_MD5SUM:=527147c097874340cb9cee0579dacf3b
include $(INCLUDE_DIR)/host-build.mk
define Build/Configure
(cd $(PKG_BUILD_DIR); \
./configure \
--prefix=$(STAGING_DIR_HOST) \
--build=$(GNU_HOST_NAME) \
--enable-static \
--disable-shared \
--with-gmp=$(STAGING_DIR_HOST) \
);
endef
define Build/Compile
make -C $(PKG_BUILD_DIR) all
endef
define Build/Install
make -C $(PKG_BUILD_DIR) install
endef
define Build/Clean
rm -rf $(PKG_BUILD_DIR)
endef
$(eval $(call HostBuild))