(

  cd src  &&

  OPTS+=" DEF_PREFIX=/usr NTL_STD_CXX=on NTL_GMP_LIP=on SHARED=on" &&

  ./configure $OPTS &&

  default_make

) > $C_FIFO 2>&1
