Lines Matching refs:build_mpfr_dir
492 build_mpfr_dir () { echo "$BUILD_DIR/$PHASE/mpfr"; }
1495 OUT_DIR=$(build_mpfr_dir)
1511 cd $(build_mpfr_dir) && mkdir -p build && cd build &&
1524 cd $(build_mpfr_dir)/build &&
1532 cd $(build_mpfr_dir)/build &&
