mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
c3db1eb9e4
Estimated hours taken: 1 Branches: main Get "gcc -mno-cygwin" as the C compiler to build under cygwin. configure.in: Remove the \r before using the string result of c programs. boehm_gc/Makefile: Add some - before ./if_not_there commands as these commands appear to fail to make, when they succeed. I don't understand why. robdd/Mmakefile: util/Mmakefile: Add --no-mercury-stdlib-dir when compiling the C files otherwise one gets the C includes coming from the installed compiler which may not be compatible with -mno-cygwin.
29 lines
792 B
Plaintext
29 lines
792 B
Plaintext
#-----------------------------------------------------------------------------#
|
|
# Copyright (C) 2003-2004 University of Melbourne.
|
|
# This file may only be copied under the terms of the GNU General
|
|
# Public Licence - see the file COPYING in the Mercury distribution.
|
|
#-----------------------------------------------------------------------------#
|
|
|
|
# Mmakefile for Peter Schachte's ROBDD package.
|
|
|
|
MAIN_TARGET=robdd
|
|
|
|
MERCURY_DIR=..
|
|
include $(MERCURY_DIR)/Mmake.common
|
|
|
|
|
|
MGNUC = $(SCRIPTS_DIR)/mgnuc --no-mercury-stdlib-dir
|
|
|
|
EXTRA_CFLAGS = -I$(BROWSER_DIR) -I$(LIBRARY_DIR) -I$(RUNTIME_DIR) \
|
|
-I$(BOEHM_GC_DIR) -I$(BOEHM_GC_DIR)/include
|
|
|
|
CFILES = bryant.c
|
|
|
|
OBJS = $(CFILES:.c=.$O)
|
|
PIC_OBJS = $(CFILES:.c=.$(EXT_FOR_PIC_OBJECTS))
|
|
|
|
.PHONY: robdd
|
|
robdd: $(OBJS) $(PIC_OBJS)
|
|
|
|
include Makefile
|