1:- module(config, [cgi_eqns/1]). 2cgi_eqns([
3 html_root_name = 'paccgi7',
4 home_html = $(home) + '/public_html',
5 home_cgi_bin = $(home) + '/public_html/cgi-bin',
6 home_html_root = $(home_html) + '/' + $(html_root_name),
7 host = 'http://localhost',
8 host_user = $(host) + ':/~' + $(user),
9 host_cgi_bin = $(host_user) + '/cgi-bin',
10 host_html_root = $(host_user) + '/' + $(html_root_name),
11 dvipdfmx = '/Library/TeX/texbin/dvipdfmx',
12 platex = '/Library/TeX/texbin/platex',
13 pdf2ps = '/opt/homebrew/bin/pdf2ps',
14 pdf2svg = '/opt/homebrew/bin/pdf2svg',
15 snapshot = $(home)+'/tmp/snapshot',
16 http_request = $(home)+'/tmp/http_request',
17 exercise_js_name = 'http_request.js',
18 cgi_log = true,
19 cgi_log_file = $(home) + '/tmp/cgi_log'
21 ])