3 echo "##########################################################################"
5 echo "##########################################################################"
7 if [ -f "$SOURCE_DIR/bin/ispc" ]
9 echo "INFO: about to copy the ispc binary utility to the installation folder: $PRODUCT_INSTALL/bin"
10 mkdir -p $PRODUCT_INSTALL/bin
11 cp $SOURCE_DIR/bin/ispc $PRODUCT_INSTALL/bin
12 chmod +x $PRODUCT_INSTALL/bin/ispc
14 echo "INFO: compiling ispc..."
17 # issue with the current version of CLANG libraries
18 if [[ $DIST_NAME == "UB" && $DIST_VERSION == "18.04" ]]
24 if [[ $DIST_NAME == "CO" && $DIST_VERSION == "6" ]]
29 echo "*** make" $MAKE_OPTIONS $TARGET_MAKE
30 make $MAKE_OPTIONS $TARGET_MAKE
37 echo "INFO: about to copy the ispc binary utility to the installation folder: $PRODUCT_INSTALL/bin"
38 mkdir -p $PRODUCT_INSTALL/bin
39 cp $SOURCE_DIR/ispc $PRODUCT_INSTALL/bin
40 chmod +x $PRODUCT_INSTALL/bin/ispc