xsiTM/README at master · nilqed/xsiTM · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
==================================
xsiTM -- clips/cool TeXmacs plugin
==================================

Build
-----
$ cd tmc
$ edit setup.h if not on Linux !
$ make
$ cp tmclips ../xsi/progs


Plugin installation
-------------------
Copy the 'xsi' folder to the TeXmacs plugin folder (local/global) and edit the file
'progs/init-xsi.scm' to set the path to the executable 'tmclips' (line 26 ff.) if
not in global path.

(plugin-configure xsi
  (:require #t)
  (:launch "path/tmclips")
  ;(:test-input-done #t)
  (:serializer ,xsi-serialize)
  (:session "XSI"))


Notes:
-- based on CLIPS 6.30 (withtout *theEnv).
-- later versions  are not compatible for the moment because 'DefineFunction' is deprecated,
   however, it is sufficient for a TeXmacs plugin anyway.
-- One has to adjust setup.h for '(system ...) to work, that is specify the OS instead of 'GENERiC'.