diff options
Diffstat (limited to 'tools/mpfr/Makefile')
| -rw-r--r-- | tools/mpfr/Makefile | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile new file mode 100644 index 0000000000..84dc9ec29f --- /dev/null +++ b/tools/mpfr/Makefile @@ -0,0 +1,41 @@ +# +# 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)) |