+++ /dev/null
-##################################################\r
-###\r
-### Makefile for OS/2 version of splint\r
-###\r
-### designed for use with gmake (GNU make)\r
-###\r
-### based on David Evans' original makefile for Unix systems automatically\r
-### generated by configure on a Linux system.\r
-###\r
-### configuration is set here and written to file config.inc included by\r
-### other makefiles\r
-###\r
-### supported compilers are:\r
-### emx/gcc\r
-### IBM VisualAge C++ 3.0\r
-###\r
-### other system requirements:\r
-### HPFS filesystem (long filenames).\r
-###\r
-### *NOTE*, before running "make" edit this file to fit your local settings!\r
-### ========================================================================\r
-###\r
-### Commands:\r
-###\r
-### make all\r
-### builds a release version of splint from scratch using optimizations\r
-###\r
-### This makefile uses gmake, the gnu version of make.\r
-###\r
-### Run gmake to build splint.\r
-### gmake install to install.\r
-###\r
-\r
-SHELL=/usr/bin/ksh\r
-\r
-\r
-###\r
-### This needs to be configured:\r
-###\r
-\r
-### Directory containing system include files:\r
-\r
-SYSTEM_LIBDIR = e:/usr/include\r
-\r
-### default preprocessor command:\r
-\r
-CPPCMD = cpp \r
-\r
-### directory for splint standard imports\r
-DEFAULT_LCLIMPORTDIR = .;e:/usr/lib/splint/imports\r
-\r
-### directory for splint libraries\r
-DEFAULT_LARCHPATH = .;e:/usr/lib/splint/lib\r
-\r
-### directory for splint binary\r
-INSTALLDIR = e:/usr/bin\r
-\r
-### system include directory\r
-GCC_INCLUDE_DIR = e:/usr/include\r
-\r
-### alternate system include directory\r
-GCC_INCLUDE_DIR2 = e:/emx/include\r
-\r
-###\r
-### Cosmetic stuff (goes into the executable\r
-###\r
-\r
-LCL_OS2 = 1\r
-TARGET_CPU = i586\r
-UNAME = OS/2 Warp 4 (Paulina)\r
-\r
-###\r
-### do you have bison and/or flex?\r
-### (Note: yacc will probably not work; lex might work but is not recommended.)\r
-###\r
-\r
-BISON = bison\r
-FLEX = flex\r
-YFLAGS = -v -t -d\r
-LFLAGS =\r
-\r
-###\r
-### Set automatically: splint version and date etc.\r
-###\r
-\r
-LCL_VERSION := $(shell grep "^VERSION" ../configure | sed "s/VERSION *= *//")\r
-LCL_DATE := $(shell date +"%d %b %Y")\r
-BUILD_DATE := $(shell date +"%c")\r
-ME := $(shell whoami)\r
-BASEDIR := $(shell (cd ..; cmd /c cd | tr '\\' '/'))\r
-\r
-LCL_COMPILE = Compiled using $(CC)\\n on $(UNAME) $(TARGET_CPU) $(BUILD_DATE) by $(ME),\\n OS/2 specific subversion is $(LCL_OS2)\r
-LCL_PARSE_VERSION = Splint $(LCL_VERSION)\r
-SPLINT_VERSION = $(LCL_PARSE_VERSION) -- $(LCL_DATE)\r
-\r
-\r
-###\r
-### Then, run:\r
-###\r
-### make\r
-###\r
-###\r
-\r
-### file-related commands (I use emx GNUish utilities)\r
-CP = cp\r
-MV = mv\r
-CAT = cat\r
-RM = rm\r
-INSTALL = cp\r
-INSTALLFLAGS = \r
-ECHO = echo\r
-\r
-###\r
-### compiler --- gcc is recommended, but splint has been compiled\r
-### without changes using cc on several platforms.\r
-###\r
-\r
-# name of configuration:\r
-COMPILER=gcc-emx\r
-#COMPILER=gcc-os2\r
-#COMPILER=icc-os2\r
-\r
-# compile commands:\r
-ifeq ($(COMPILER), gcc-emx)\r
- CC = gcc -g\r
- CPPFLAGS=-I.\Headers -DSTDC_HEADERS=1 -DOS2\r
- CFLAGS=-Wall \r
- OFLAG=-o \r
- LDFLAGS = -lfl\r
- O=.o\r
- EXEEXT=.exe\r
-else\r
- ifeq ($(COMPILER), gcc-os2)\r
- CC = gcc -Zsys -Zomf -O3\r
- CPPFLAGS=-I.\Headers -DSTDC_HEADERS=1 -DOS2\r
- CFLAGS=-Wall \r
- OFLAG=-o \r
- LDFLAGS = splint.def -lfl\r
- O=.obj\r
- EXEEXT=.exe\r
- else\r
- ifeq ($(COMPILER), icc-os2)\r
- # Shame! Normally no warnings should be turned off, but IBM's are\r
- # so stupid they warn me about each llassert(). Let's check our\r
- # code using splint then develop it on gcc and then move to IBMC...\r
- CC = icc -q -W2 -Dunlink=unlink -O+ -G5 -Gf+ -Gi+ -Gs+ \r
- #CSet 2.01 needs this:\r
- #-D__STDC__\r
- CPPFLAGS=-I.\Headers -DSTDC_HEADERS=1 -DOS2 \r
- CFLAGS=\r
- OFLAG=-fe\r
- LDFLAGS = -B/noe setargv.obj fl.lib splint.def\r
- O=.obj\r
- EXEEXT=.exe\r
- endif\r
- endif\r
-endif\r
-\r
-.PHONY: all clean config confclean\r
-\r
-all: make.vars ../config.h setenv.cmd\r
- $(MAKE) --directory=../src -f Makefile.os2 all\r
- $(MAKE) --directory=../lib -f Makefile.os2 all\r
-\r
-make.vars:\r
- echo "CC = $(CC)" >make.vars\r
- echo "CPPFLAGS = $(CPPFLAGS)" >>make.vars\r
- echo "CFLAGS = $(CFLAGS)" >>make.vars\r
- echo "OFLAG = $(OFLAG)" >>make.vars\r
- echo "LDFLAGS = $(LDFLAGS)" >>make.vars\r
- echo "O = $(O)" >>make.vars\r
- echo "EXEEXT = $(EXEEXT)" >>make.vars\r
- echo "BISON = $(BISON)" >>make.vars\r
- echo "FLEX = $(FLEX)" >>make.vars\r
- echo "YFLAGS = $(YFLAGS)" >>make.vars\r
- echo "LFLAGS = $(LFLAGS)" >>make.vars\r
- echo "CPPCMD = $(CPPCMD)" >>make.vars\r
- echo "CP = $(CP)" >>make.vars\r
- echo "MV = $(MV)" >>make.vars\r
- echo "CAT = $(CAT)" >>make.vars\r
- echo "RM = $(RM)" >>make.vars\r
- echo "INSTALL = $(INSTALL)" >>make.vars\r
- echo "INSTALLFLAGS = $(INSTALLFLAGS)" >>make.vars\r
- echo "ECHO = $(ECHO)" >>make.vars\r
-\r
-../config.h: os2config.h.in\r
- sed -e 's|@DEFAULT_LARCHPATH@|$(DEFAULT_LARCHPATH)|' \\r
- -e 's|@DEFAULT_LCLIMPORTDIR@|$(DEFAULT_LCLIMPORTDIR)|' \\r
- -e 's|@GCC_INCLUDE_DIR@|$(GCC_INCLUDE_DIR)|' \\r
- -e 's|@GCC_INCLUDE_DIR2@|$(GCC_INCLUDE_DIR2)|' \\r
- -e 's|@TARGET_CPU@|$(TARGET_CPU)|' \\r
- -e 's|@UNAME@|$(UNAME)|' \\r
- -e 's|@LCL_COMPILE@|$(LCL_COMPILE)|' \\r
- -e 's|@LCL_PARSE_VERSION@|$(LCL_PARSE_VERSION)|' \\r
- -e 's|@SPLINT_VERSION@|$(SPLINT_VERSION)|' \\r
- -e 's|@SYSTEM_LIBDIR@|$(SYSTEM_LIBDIR)|' \\r
- os2config.h.in >../config.h\r
-\r
-setenv.cmd: setenv.cmd.in\r
- sed -e 's|@LCL_VERSION@|$(LCL_VERSION)|' \\r
- -e 's|@BASEDIR@|$(BASEDIR)|' \\r
- setenv.cmd.in | tr '/' '\\\\\\' >setenv.cmd\r
-\r
-config: make.vars ../config.h setenv.cmd\r
-\r
-confclean:\r
- $(RM) -f make.vars ../config.h setenv.cmd\r
-\r
-clean: confclean\r
- $(MAKE) --directory=../src -f Makefile.os2 clean\r
- $(MAKE) --directory=../lib -f Makefile.os2 clean\r
andersk / splint.git / blobdiff