mirror of
https://git.openwrt.org/openwrt/openwrt.git
synced 2024-06-18 13:13:55 +02:00
42 lines
809 B
Makefile
42 lines
809 B
Makefile
#
|
|
# 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-current/
|
|
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))
|