3 #### Start of system configuration section. ####
5 # Directories used by "make install":
7 local_prefix = /usr/local
8 exec_prefix = @exec_prefix@
11 includedir = @includedir@
14 # Programs used by "make":
20 #### End of system configuration section. ####
25 cd @subdir@; $(MAKE) all
28 cd @subdir@; $(MAKE) install
31 cd @subdir@; $(MAKE) installdirs
34 cd @subdir@; $(MAKE) uninstall
37 cd @subdir@; $(MAKE) check
40 cd @subdir@; $(MAKE) mostlyclean
43 cd @subdir@; $(MAKE) clean
46 cd @subdir@; if test -f Makefile; then $(MAKE) distclean; fi
47 $(RM) config.status config.log config.cache Makefile
49 $(RM) include/cl_config.h include/cl_intparam.h include/cl_floatparam.h src/base/cl_base_config.h src/base/cl_gmpconfig.h src/float/cl_float_config.h src/timing/cl_t_config.h
51 maintainer-clean : force
52 cd @subdir@; if test -f Makefile; then $(MAKE) maintainer-clean; fi
53 $(RM) config.status config.log config.cache Makefile
55 $(RM) include/cl_config.h include/cl_intparam.h include/cl_floatparam.h src/base/cl_base_config.h src/base/cl_gmpconfig.h src/float/cl_float_config.h src/timing/cl_t_config.h