diff options
| author | johans <johans@FreeBSD.org> | 2014-03-16 02:34:09 +0800 |
|---|---|---|
| committer | johans <johans@FreeBSD.org> | 2014-03-16 02:34:09 +0800 |
| commit | c65f5c16613a725e6a8cd68b5068a394e8a248cd (patch) | |
| tree | b111ff8d1fb44a9a889239a7a3dbc1e64067c2ef /lang | |
| parent | e334ffc0f897e7030049f091e778ccfe608f18e7 (diff) | |
| download | freebsd-ports-gnome-c65f5c16613a725e6a8cd68b5068a394e8a248cd.tar.gz freebsd-ports-gnome-c65f5c16613a725e6a8cd68b5068a394e8a248cd.tar.zst freebsd-ports-gnome-c65f5c16613a725e6a8cd68b5068a394e8a248cd.zip | |
Update to SWI Prolog 6.6.2
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/swi-pl/Makefile | 3 | ||||
| -rw-r--r-- | lang/swi-pl/distinfo | 4 | ||||
| -rw-r--r-- | lang/swi-pl/files/patch-src_os_pl-rl.c | 10 |
3 files changed, 13 insertions, 4 deletions
diff --git a/lang/swi-pl/Makefile b/lang/swi-pl/Makefile index c861fa1accfe..2c087215596b 100644 --- a/lang/swi-pl/Makefile +++ b/lang/swi-pl/Makefile @@ -2,8 +2,7 @@ # $FreeBSD$ PORTNAME= swi-pl -PORTVERSION= 6.6.1 -PORTREVISION= 1 +PORTVERSION= 6.6.2 CATEGORIES= lang MASTER_SITES= http://www.swi-prolog.org/download/stable/src/ DISTNAME= pl-${PORTVERSION} diff --git a/lang/swi-pl/distinfo b/lang/swi-pl/distinfo index 78be9a311cef..24a1f0a0da32 100644 --- a/lang/swi-pl/distinfo +++ b/lang/swi-pl/distinfo @@ -1,2 +1,2 @@ -SHA256 (pl-6.6.1.tar.gz) = c8bf201dc28705969e509a378661534ab4b87e1f4ab598ee01293409cc3f6b0c -SIZE (pl-6.6.1.tar.gz) = 14769033 +SHA256 (pl-6.6.2.tar.gz) = e4996e363a19353f8b4eb1c19284fa73612b0137b32ba3cb066210567260b6cd +SIZE (pl-6.6.2.tar.gz) = 14823664 diff --git a/lang/swi-pl/files/patch-src_os_pl-rl.c b/lang/swi-pl/files/patch-src_os_pl-rl.c new file mode 100644 index 000000000000..b4ed6118688e --- /dev/null +++ b/lang/swi-pl/files/patch-src_os_pl-rl.c @@ -0,0 +1,10 @@ +--- src/os/pl-rl.c.orig 2014-03-15 18:04:05.000000000 +0100 ++++ src/os/pl-rl.c 2014-03-15 18:04:29.000000000 +0100 +@@ -96,7 +96,6 @@ extern void add_history(char *); /* shou + /* readline.h versions */ + extern int rl_begin_undo_group(void); /* delete when conflict arrises! */ + extern int rl_end_undo_group(void); +-extern Function *rl_event_hook; + #ifndef HAVE_RL_FILENAME_COMPLETION_FUNCTION + #define rl_filename_completion_function filename_completion_function + extern char *filename_completion_function(const char *, int); |