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
73
74
|
DEB_BUILD_MULTIARCH=@DEB_BUILD_MULTIARCH@
GAPPATH=@GAPPATH@
GAPARCH=@GAPARCH@
CGAP = /usr/bin/gap
##CFLAGS = -O2
SRCDIR = ./src/leon
CJSRCDIR= ./src/ctjhai
LIBEXECDIR=/usr/libexec/$(DEB_BUILD_MULTIARCH)
BINDIR=$(LIBEXECDIR)/gap/pkg/guava/bin
#GAP_PATH=../..
#PKG_PATH=.
#SRCDISTFILE=guava
PDFTEX=pdftex -no-shell-escape -interaction batchmode
CFLAGS += -Wno-unused-result
default: build doc
build: minimum-weight leonconv desauto
doc: src/ctjhai/README.ctjhai src/leon/doc/leon_guava_manual.pdf doc/manual.pdf
minimum-weight: $(CJSRCDIR)/minimum-weight.o $(CJSRCDIR)/minimum-weight-gf2.o $(CJSRCDIR)/minimum-weight-gf3.o $(CJSRCDIR)/popcount.o
$(CC) $(LDFLAGS) -o $(CJSRCDIR)/minimum-weight \
$(CJSRCDIR)/minimum-weight.o $(CJSRCDIR)/minimum-weight-gf2.o \
$(CJSRCDIR)/minimum-weight-gf3.o $(CJSRCDIR)/popcount.o -lm
leonconv: desauto
cd ./src; $(MAKE) CC="$(CC)" CPPFLAGS="$(CPPFLAGS)" CFLAGS="$(CFLAGS)" LDFLAGS="$(LDFLAGS)";
desauto:
cd $(SRCDIR); autoreconf --install --force ; ./configure; $(MAKE) CC="$(CC)" CPPFLAGS="$(CPPFLAGS)" CFLAGS="$(CFLAGS)" LDFLAGS="$(LDFLAGS)";
minimum-weight.o: $(CJSRCDIR)/minimum-weight.c $(CJSRCDIR)/minimum-weight-gf2.h $(CJSRCDIR)/minimum-weight-gf3.h $(CJSRCDIR)/popcount.h $(CJSRCDIR)/config.h $(CJSRCDIR)/types.h
$(CC) -c -O3 -Wall -I $(CJSRCDIR) $(CJSRCDIR)/minimum-weight.c
minimum-weight-gf2.o: $(CJSRCDIR)/minimum-weight-gf2.c $(CJSRCDIR)/minimum-weight-gf2.h $(CJSRCDIR)/popcount.h $(CJSRCDIR)/config.h $(CJSRCDIR)/types.h
$(CC) -c -O3 -Wall -I $(CJSRCDIR) $(CJSRCDIR)/minimum-weight-gf2.c
minimum-weight-gf3.o: $(CJSRCDIR)/minimum-weight-gf3.c $(CJSRCDIR)/minimum-weight-gf3.h $(CJSRCDIR)/popcount.h $(CJSRCDIR)/config.h $(CJSRCDIR)/types.h
$(CC) -c -O3 -Wall -I $(CJSRCDIR) $(CJSRCDIR)/minimum-weight-gf3.c
popcount.o: $(CJSRCDIR)/popcount.c $(CJSRCDIR)/popcount.h $(CJSRCDIR)/config.h $(CJSRCDIR)/types.h
$(CC) -c -O3 -Wall -I $(CJSRCDIR) $(CJSRCDIR)/popcount.c
src/ctjhai/README.ctjhai: src/ctjhai/README
cp -l $< $@
src/leon/doc/leon_guava_manual.pdf: src/leon/doc/manual.tex
$(PDFTEX) -jobname $(basename $(@F)) -output-directory $(@D) $<
doc/manual.pdf:
cat debian/makedoc.g | $(CGAP) -A -q -T > /dev/null
install: leonconv minimum-weight
if test ! -d $(DESTDIR)/$(BINDIR); then mkdir -p $(DESTDIR)/$(BINDIR); fi
cp ./src/leonconv $(DESTDIR)/$(BINDIR)
cp $(CJSRCDIR)/minimum-weight $(DESTDIR)/$(BINDIR)
( cd $(SRCDIR); $(MAKE) install BINDIR="$(BINDIR)"; )
( cd $(DESTDIR)/$(BINDIR); ln -sf leon/desauto )
( cd $(DESTDIR)/$(BINDIR); ln -sf leon/wtdist )
clean:
-( cd src && make clean )
-( cd $(CJSRCDIR) && rm -f minimum-weight *.o)
-( cd $(SRCDIR) && make clean )
distclean: clean
rm -rf bin
rm -f Makefile Makefile-*
-( cd src && make distclean )
-( cd src/leon && make distclean )
-( cd doc && rm -f *.aux *.log *.dvi *.ps)
|
