Skip to content

Commit

Permalink
Compilation of the patobook works.
Browse files Browse the repository at this point in the history
  • Loading branch information
Rodolphe Lepigre committed Nov 12, 2018
1 parent 9d94b97 commit 2d66e05
Show file tree
Hide file tree
Showing 26 changed files with 56 additions and 53 deletions.
2 changes: 2 additions & 0 deletions .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,8 @@ install:
- make

script:
- cd patobook
- make
- echo "OK"

notifications:
Expand Down
4 changes: 2 additions & 2 deletions drivers/Bin/dune
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(library
(name driver_bin)
(public_name patoline.driver.bin)
(name Bin)
(public_name patoline.driver.Bin)
(modules :standard)
(wrapped false)
(libraries patoraw patodb))
4 changes: 2 additions & 2 deletions drivers/DriverCairo/dune
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(library
(name driver_cairo)
(public_name patoline.driver.cairo)
(name DriverCairo)
(public_name patoline.driver.DriverCairo)
(modules :standard)
(wrapped false)
(optional) ; requires cairo2
Expand Down
4 changes: 2 additions & 2 deletions drivers/DriverGL/dune
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(library
(name driver_gl)
(public_name patoline.driver.gl)
(name DriverGl)
(public_name patoline.driver.DriverGL)
(modules DriverGL GlFBO Vec3)
(c_names FrameBuffer)
(wrapped false)
Expand Down
6 changes: 3 additions & 3 deletions drivers/DriverImage/dune
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(library
(name driver_image)
(public_name patoline.driver.image)
(name DriverImage)
(public_name patoline.driver.DriverImage)
(modules :standard)
(wrapped false)
(optional) ; requires lablgl
(libraries patoraw driver_gl))
(libraries patoraw DriverGL))
6 changes: 3 additions & 3 deletions drivers/Html/dune
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(library
(name driver_html)
(public_name patoline.driver.html)
(name Html)
(public_name patoline.driver.Html)
(modules :standard)
(wrapped false)
(libraries patoraw driver_svg))
(libraries patoraw SVG))
6 changes: 3 additions & 3 deletions drivers/Net/dune
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(library
(name driver_net)
(public_name patoline.driver.net)
(name Net)
(public_name patoline.driver.Net)
(modules :standard)
(wrapped false)
(libraries patoraw driver_svg patconfig))
(libraries patoraw SVG patconfig))
4 changes: 2 additions & 2 deletions drivers/None/dune
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(library
(name driver_none)
(public_name patoline.driver.none)
(name None)
(public_name patoline.driver.None)
(modules :standard)
(wrapped false)
(libraries patoraw))
4 changes: 2 additions & 2 deletions drivers/Patonet/dune
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(library
(name driver_patonet)
(public_name patoline.driver.patonet)
(name Patonet)
(public_name patoline.driver.Patonet)
(modules :standard)
(wrapped false)
(optional) ; requires cryptokit
Expand Down
4 changes: 2 additions & 2 deletions drivers/Pdf/dune
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(library
(name driver_pdf)
(public_name patoline.driver.pdf)
(name Pdf)
(public_name patoline.driver.Pdf)
(modules :standard)
(wrapped false)
(libraries camlzip patconfig unicodelib patoraw patfonts))
4 changes: 2 additions & 2 deletions drivers/SVG/dune
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(library
(name driver_svg)
(public_name patoline.driver.svg)
(name SVG)
(public_name patoline.driver.SVG)
(modules :standard)
(wrapped false)
(libraries patutil patoraw typography))
24 changes: 12 additions & 12 deletions formats/dune
Original file line number Diff line number Diff line change
@@ -1,69 +1,69 @@
(library
(name DefaultFormat)
(public_name patoline.format.default)
(public_name patoline.format.DefaultFormat)
(modules DefaultFormat)
(wrapped false)
(libraries typography patconfig patoraw unicodelib hyphen))

(library
(name FormatArticle)
(public_name patoline.format.article)
(public_name patoline.format.FormatArticle)
(modules FormatArticle)
(wrapped false)
(libraries typography DefaultFormat hyphen))

(library
(name FormatLetter)
(public_name patoline.format.letter)
(public_name patoline.format.FormatLetter)
(modules FormatLetter)
(wrapped false)
(libraries typography DefaultFormat hyphen))

(library
(name FormatLivre)
(public_name patoline.format.livre)
(public_name patoline.format.FormatLivre)
(modules FormatLivre)
(wrapped false)
(libraries typography DefaultFormat hyphen))

(library
(name FormatThese)
(public_name patoline.format.these)
(public_name patoline.format.FormatThese)
(modules FormatThese)
(wrapped false)
(libraries typography DefaultFormat hyphen))
(libraries str typography DefaultFormat hyphen))

(library
(name FormatMemoire)
(public_name patoline.format.memoire)
(public_name patoline.format.FormatMemoire)
(modules FormatMemoire)
(wrapped false)
(libraries typography DefaultFormat FormatThese hyphen))

(library
(name FormatSlides)
(public_name patoline.format.slides)
(public_name patoline.format.FormatSlides)
(modules FormatSlides)
(wrapped false)
(libraries typography DefaultFormat FormatThese hyphen))

(library
(name SimpleSlides)
(public_name patoline.format.simple_slides)
(public_name patoline.format.SimpleSlides)
(modules SimpleSlides)
(wrapped false)
(libraries typography DefaultFormat FormatThese hyphen))

(library
(name LMFormat)
(public_name patoline.format.lm)
(public_name patoline.format.LMFormat)
(modules LMFormat)
(wrapped false)
(libraries typography DefaultFormat hyphen))

(library
(name FormatWeb)
(public_name patoline.format.web)
(public_name patoline.format.FormatWeb)
(modules FormatWeb)
(wrapped false)
(libraries typography DefaultFormat driver_svg))
(libraries typography DefaultFormat SVG))
2 changes: 1 addition & 1 deletion grammars/dune
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
(executable
(name DefaultGrammar_)
(modules :standard)
(libraries dynlink typography patoraw DefaultFormat driver_pdf))
(libraries dynlink typography patoraw DefaultFormat Pdf))

(rule
(targets DefaultGrammar.pdf)
Expand Down
2 changes: 1 addition & 1 deletion patobook/Drawings.txp
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(* #FORMAT FormatThese *)
(* #PACKAGES bibi *)
(* #PACKAGES patoline.bibi *)

\Caml(
open Bibi
Expand Down
2 changes: 1 addition & 1 deletion patobook/Editors.txp
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(* #FORMAT FormatThese *)
(* #PACKAGES bibi *)
(* #PACKAGES patoline.bibi *)

\Caml(
open Bibi
Expand Down
2 changes: 1 addition & 1 deletion patobook/Extending.txp
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(* #FORMAT FormatThese *)
(* #PACKAGES bibi *)
(* #PACKAGES patoline.bibi *)

\Caml(
open Bibi
Expand Down
2 changes: 1 addition & 1 deletion patobook/FirstDocuments.txp
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(* #FORMAT FormatThese *)
(* #PACKAGES bibi *)
(* #PACKAGES patoline.bibi *)

\Caml(
open Bibi
Expand Down
2 changes: 1 addition & 1 deletion patobook/PatoMaths.txp
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(* #FORMAT FormatThese *)
(* #PACKAGES bibi *)
(* #PACKAGES patoline.bibi *)

\Caml(
open Bibi
Expand Down
2 changes: 1 addition & 1 deletion patobook/Programming.txp
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(* #FORMAT FormatThese *)
(* #PACKAGES bibi *)
(* #PACKAGES patoline.bibi *)

\Caml(
open Bibi
Expand Down
2 changes: 1 addition & 1 deletion patobook/Typesetting.txp
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(* #FORMAT FormatThese *)
(* #PACKAGE bibi *)
(* #PACKAGE patoline.bibi *)

\Caml(
open Bibi
Expand Down
3 changes: 2 additions & 1 deletion patobook/patobook.txp
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(* #FORMAT FormatThese *)
(* #PACKAGE bibi *)
(* #PACKAGE patoline.bibi *)

(*

Expand Down Expand Up @@ -36,6 +36,7 @@ Pierre-Etienne Meunier

open Patoline_Output
open Typography.Box
open Patutil
open Extra

let couverture=
Expand Down
2 changes: 1 addition & 1 deletion patobook/test.txp
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
(* #PACKAGES bibi *)
(* #PACKAGES patoline.bibi *)



Expand Down
4 changes: 2 additions & 2 deletions patobuild/build.ml
Original file line number Diff line number Diff line change
Expand Up @@ -445,7 +445,7 @@ let extend_config config ls =
if config.pat_format <> None then config else
let packages =
if List.mem f patoconfig.formats then
("Typography." ^ f) :: config.packages
("patoline.format." ^ f) :: config.packages
else config.packages
in
{ config with packages; pat_format = Some f }
Expand All @@ -454,7 +454,7 @@ let extend_config config ls =
if config.pat_driver <> None then config else
let packages =
if List.mem d patoconfig.drivers then
("Typography." ^ d) :: config.packages
("patoline.driver." ^ d) :: config.packages
else config.packages
in
{ config with packages; pat_driver = Some d }
Expand Down
8 changes: 4 additions & 4 deletions patobuild/patoline.ml
Original file line number Diff line number Diff line change
Expand Up @@ -53,7 +53,7 @@ let bin_args = ref []
let opt_args = ref []
let pp_args = ref []
let local_path = ref []
let packages = ref ["rawlib"; "Typography"; "earley"; "earley.str"]
let packages = ref ["patoline.patoraw"; "patoline.typography"; "earley"; "earley.str"]
let pat_format = ref None
let pat_driver = ref None
let do_clean = ref false
Expand Down Expand Up @@ -156,15 +156,15 @@ let cfg =
let path = "." :: !local_path in (* FIXME remove duplicates *)
let driver_packages =
match !pat_driver with
| None -> ["Typography.Pdf"]
| Some d when List.mem d patoconfig.drivers -> ["Typography." ^ d]
| None -> ["patoline.driver.Pdf"]
| Some d when List.mem d patoconfig.drivers -> ["patoline.driver." ^ d]
| _ -> []
in
let format_packages =
match !pat_format with
| None -> []
| Some "DefaultFormat" -> []
| Some f when List.mem f patoconfig.formats -> ["Typography." ^ f]
| Some f when List.mem f patoconfig.formats -> ["patoline.format." ^ f]
| _ -> []
in
let packages = !packages @ format_packages @ driver_packages in
Expand Down
2 changes: 1 addition & 1 deletion patoraw/dune
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@
(name patoraw)
(public_name patoline.patoraw)
(modules :standard)
(libraries imagelib patutil patfonts))
(libraries dynlink imagelib patutil patfonts))
2 changes: 1 addition & 1 deletion proof/dune
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,4 @@
(public_name proof)
(package patoline)
(modules proof)
(libraries dynlink patutil patfonts typography patoraw driver_pdf))
(libraries dynlink patutil patfonts typography patoraw Pdf))

0 comments on commit 2d66e05

Please sign in to comment.