Makefile: switch to CLIPS 6.4.1

Signed-off-by: Matteo Cafasso <noxdafox@gmail.com>
noxdafox · May 6, 2023 · 8be1ace · 8be1ace
1 parent cdc3fe4
commit 8be1ace
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -1,7 +1,7 @@
 # vim: tabstop=8
 PYTHON			?= python
 CLIPS_VERSION		?= 6.40
-CLIPS_SOURCE_URL	?= "https://sourceforge.net/projects/clipsrules/files/CLIPS/6.40/clips_core_source_640.zip"
+CLIPS_SOURCE_URL	?= "https://sourceforge.net/projects/clipsrules/files/CLIPS/6.4.1/clips_core_source_641.zip"
 MAKEFILE_NAME		?= makefile
 SHARED_INCLUDE_DIR	?= /usr/local/include
 SHARED_LIBRARY_DIR	?= /usr/local/lib