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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
From: Stephane Glondu <steph@glondu.net>
Date: Fri, 31 Jan 2020 13:57:28 +0100
Subject: Fix compilation of manual
---
manual/Makefile | 4 ++--
manual/atd-body.mlx | 5 ++---
2 files changed, 4 insertions(+), 5 deletions(-)
--- ocaml-atd.orig/manual/Makefile
+++ ocaml-atd/manual/Makefile
@@ -11,11 +11,11 @@
txt: atd-manual.txt
html: atd-manual.html
-atd-manual.tex: ../atd_version.ml atd-manual.mlx
- OCAMLPATH=../..:$$OCAMLPATH camlmix atd-manual.mlx -o atd-manual.tex
+atd-manual.tex: ../atd/src/version.ml atd-manual.mlx
+ OCAMLPATH=../_tmp/usr/lib/ocaml:$$OCAMLPATH camlmix atd-manual.mlx -o atd-manual.tex
-atd-body.tex: ../atd_version.ml macros.ml atd-body.mlx
- OCAMLPATH=../..:$$OCAMLPATH camlmix atd-body.mlx -o atd-body.tex
+atd-body.tex: ../atd/src/version.ml macros.ml atd-body.mlx
+ OCAMLPATH=../_tmp/usr/lib/ocaml:$$OCAMLPATH camlmix atd-body.mlx -o atd-body.tex
atd-manual.txt: $(addsuffix .tex, $(TEXFILES))
rm -f *.aux
--- ocaml-atd.orig/manual/atd-body.mlx
+++ ocaml-atd/manual/atd-body.mlx
@@ -4,10 +4,9 @@
#use "topfind";;
#require "caml2html";;
#require "easy-format";;
-#directory "..";;
-#load "atd.cma";;
+#require "atd";;
#require "unix";;
-#use "../atd_version.ml";;
+#use "../atd/src/version.ml";;
#use "macros.ml";;
##
@@ -260,7 +259,7 @@
{\tt atdcat} pretty-prints its input data, optionally after some
transformations such as monomorphization or inheritance.
Here is the output of {\tt atdcat -help}:
-## shell "PATH=.. atdcat -help" ##
+## shell "PATH=../_tmp/usr/bin atdcat -help" ##
\section{ATD language}
--- ocaml-atd.orig/manual/atd-manual.mlx
+++ ocaml-atd/manual/atd-manual.mlx
@@ -1,6 +1,6 @@
% -*- latex -*-
##
-#use "../atd_version.ml";;
+#use "../atd/src/version.ml";;
##
\documentclass[letterpaper,10pt]{article}
|
