Makefile: bump CLIPS version to 6.41

Signed-off-by: Matteo Cafasso <noxdafox@gmail.com>
noxdafox · Sep 2, 2023 · bf83f57 · bf83f57
1 parent 253b37c
commit bf83f57
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -1,6 +1,6 @@
 # vim: tabstop=8
 PYTHON			?= python
-CLIPS_VERSION		?= 6.40
+CLIPS_VERSION		?= 6.41
 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