equal
deleted
inserted
replaced
40 include $(WS_MAKE_RULES)/prep.mk |
40 include $(WS_MAKE_RULES)/prep.mk |
41 include $(WS_MAKE_RULES)/configure.mk |
41 include $(WS_MAKE_RULES)/configure.mk |
42 include $(WS_MAKE_RULES)/ips.mk |
42 include $(WS_MAKE_RULES)/ips.mk |
43 |
43 |
44 CONFIGURE_OPTIONS += --disable-static |
44 CONFIGURE_OPTIONS += --disable-static |
45 CONFIGURE_OPTIONS += --disable-gomp |
45 CONFIGURE_OPTIONS += --disable-openmp |
46 CONFIGURE_OPTIONS += CFLAGS="$(CFLAGS)" |
46 CONFIGURE_OPTIONS += CFLAGS="$(CFLAGS)" |
47 |
47 |
48 # common targets |
48 # common targets |
49 configure: $(CONFIGURE_32_and_64) |
49 configure: $(CONFIGURE_32_and_64) |
50 |
50 |