Disable building of shared libraries
Eugeniy Meshcheryakov
12 years ago
| 3 | 3 |
* Add Vu University Amsterdam to debian/copyright
|
| 4 | 4 |
* Do not run autoreconf in debian/rules as it is not needed anymore
|
| 5 | 5 |
* Pass CFLAGS to configure
|
| 6 | |
|
| 7 | |
-- Євгеній Мещеряков <eugen@debian.org> Sat, 18 Feb 2012 16:42:55 +0100
|
|
6 |
* Disable building of shared libraries
|
|
7 |
|
|
8 |
-- Євгеній Мещеряков <eugen@debian.org> Sun, 26 Feb 2012 18:31:45 +0100
|
| 8 | 9 |
|
| 9 | 10 |
swi-prolog (5.10.5-1) experimental; urgency=low
|
| 10 | 11 |
|
| 27 | 27 |
dh_testdir
|
| 28 | 28 |
|
| 29 | 29 |
# Build shared object first
|
| 30 | |
./configure $(CONFFLAGS) --enable-shared \
|
| 31 | |
--prefix=/usr '--mandir=$${prefix}/share/man'
|
| 32 | |
$(MAKE)
|
| 33 | |
$(MAKE) prefix=$(CURDIR)/debian/swi-prolog-shared/usr install-lite
|
| 34 | |
$(MAKE) ARCH=$(PLARCH) PLARCH=$(PLARCH) clean
|
| 35 | |
$(MAKE) ARCH=$(PLARCH) PLARCH=$(PLARCH) distclean
|
|
30 |
#./configure $(CONFFLAGS) --enable-shared \
|
|
31 |
# --prefix=/usr '--mandir=$${prefix}/share/man'
|
|
32 |
#$(MAKE)
|
|
33 |
#$(MAKE) prefix=$(CURDIR)/debian/swi-prolog-shared/usr install-lite
|
|
34 |
#$(MAKE) ARCH=$(PLARCH) PLARCH=$(PLARCH) clean
|
|
35 |
#$(MAKE) ARCH=$(PLARCH) PLARCH=$(PLARCH) distclean
|
| 36 | 36 |
|
| 37 | 37 |
./configure $(CONFFLAGS) \
|
| 38 | 38 |
--prefix=/usr '--mandir=$${prefix}/share/man' PL="swipl"
|