174a748b1f
Other changes: - Add patch to fix japron linkage - Omit timestamps from generated documentation
12 lines
464 B
Diff
12 lines
464 B
Diff
--- japron/Makefile.orig 2023-09-20 13:55:04.000000000 -0600
|
|
+++ japron/Makefile 2023-09-22 08:56:10.285592635 -0600
|
|
@@ -171,7 +171,7 @@ apron/%.o: apron/%.c gmp.jar apron.jar g
|
|
$(CC) $(CFLAGSN) -c $(IFLAGS) -Igmp $< -o $@
|
|
|
|
libjapron.$(EXT_DLL): apron/japron.o $(APRONO)
|
|
- $(CC) $(CFLAGSN) -shared $+ -o $@ $(LFLAGS) $(APRONLIBS)
|
|
+ $(CC) $(CFLAGSN) -shared $+ -o $@ $(LFLAGS) -Wl,-rpath,/usr/lib/java $(APRONLIBS)
|
|
|
|
libjapron.$(EXT_DLL): libjgmp.$(EXT_DLL)
|
|
|