File: Makefile

package info (click to toggle)
lbt 1.2.2-6
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid, stretch
  • size: 196 kB
  • ctags: 199
  • sloc: cpp: 910; ansic: 102; makefile: 46; sh: 2
file content (72 lines) | stat: -rw-r--r-- 1,670 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
# Installation directory prefix for Debian GNU/Linux
DESTDIR =
# Generic installation directory prefix
PREFIX = $(DESTDIR)/usr

# Where to put binaries on 'make install'?
BINDIR = $(PREFIX)/bin
# Where to put documentation on 'make install'?
DOCDIR = $(PREFIX)/share/doc/lbt
# Where to put manual pages on 'make installman'?
MANDIR = $(PREFIX)/share/man/man1

# Installation commands
INSTALLDIR = install -d
INSTALLBIN = install
INSTALLDATA = install -m 444
RM = rm -f

# GCC (tested with 2.95.4 and 3.0.2)
CXX=g++
CXXFLAGS+=$(CFLAGS) -fno-exceptions -fno-rtti
LDFLAGS=
CC=gcc
CFLAGS+=-O3 -fomit-frame-pointer

## Compaq C++ V6.3-011 for Digital UNIX V4.0G (Rev. 1530)
#CXX=cxx
#CXXFLAGS=$(CFLAGS) -nocleanup -nortti
#LDFLAGS=
#CC=cc
#CFLAGS=-arch host -tune host -assume trusted_short_alignment -assume noptrs_to_globals -compress -O5 -om -w1 -std strict_ansi_errors

TARGETS = lbt lbt2dot
LBTOBJS = Ltl.o LtlGraph.o BitVector.o lbt.o
L2DOBJS = lbt2dot.o

OBJS = $(LBTOBJS) $(L2DOBJS)

MANPAGES = lbt.1 lbt2dot.1

all: $(TARGETS)

clean:
	$(RM) $(OBJS)
reallyclean: clean
	$(RM) $(TARGETS)

install: $(TARGETS)
	$(INSTALLDIR) $(BINDIR) $(DOCDIR)
	$(INSTALLBIN) lbt lbt2dot $(BINDIR)
	$(INSTALLDATA) doc/* $(DOCDIR)

installman: $(MANPAGES)
	$(INSTALLDIR) $(MANDIR)
	$(INSTALLDATA) $(MANPAGES) $(MANDIR)

lbt: $(LBTOBJS)
	$(CXX) -o $@ $(LBTOBJS) $(LDFLAGS)
lbt2dot: $(L2DOBJS)
	$(CC) -o $@ $(L2DOBJS) $(LDFLAGS)

.C.o:
	$(CXX) $(CPPFLAGS) $(CXXFLAGS) -c $< -o $@
.c.o:
	$(CC) $(CPPFLAGS) $(CFLAGS) -c $< -o $@

.phony: all clean reallyclean install installman
.SUFFIXES:
.SUFFIXES: .C .c .o

Ltl.o LtlGraph.o lbt.o: Ltl.h LtlGraph.h BitVector.h
BitVector.o: BitVector.h