backtracking / combine

OCaml library for combinatorics
https://www.lri.fr/~filliatr/combine/
Other
35 stars 2 forks source link

With ocp build #2

Closed remyzorg closed 10 years ago

remyzorg commented 10 years ago

I made a try to switch our project build manager to ocp-build.

I think it's more up to date with opam. Moreover, there is a nice tool ocp2opam for creation of opam package directly from ocp-build project. The makefile is less complicated. The installation directory is the default used by ocamlfind.

I split the code in several subfolders to clean up the root directory.

ocp-build uses separated and threaded compilation and you can easily say what is "library" and what is supposed to be compiled to an executable.

The drawbacks are the following :

(require 'ansi-color)
(defun colorize-compilation-buffer ()
  (toggle-read-only)
  (ansi-color-apply-on-region (point-min) (point-max))
  (toggle-read-only))
(add-hook 'compilation-filter-hook 'colorize-compilation-buffer)
(with-temp-buffer (insert (shell-command-to-string "ocp-edit-mode emacs -load-global-config")) (eval-buffer))
(setq ocp-syntax-coloring t)

So, what do you think about switching to ocp-build ?

(I you are agree, don't merge, I must test a bit further)

backtracking commented 10 years ago

I have to say I don't know anything about ocp-build but fine by me. I let you do the merge if you don't mind.

remyzorg commented 10 years ago

The library has been renamed to combinelib (ocamlfind package)

backtracking commented 10 years ago

Salut Rémy,

J'ai une question concernant la nouvelle procédure de compilation de combine : sauf erreur de ma part, le script configure a disparu, mais il me semble qu'il faudrait tout de même tester la présence d'OCaml et de ocp-build, non ? (voire d'autres choses comme l'absence de compilo natif etc.)

Je me trompe ?

Jean-Christophe

remyzorg commented 10 years ago

Salut JC,

A dire vrai, je réfléchissais ces derniers jours à retirer mes commits concernant la version avec ocp-build. Finalement ça ne fait exactement aussi bien que l'ancienne méthode de build (les noms changent, ça fait deux packages ocamlfind pour peu de choses, etc).

Ensuite, ayant discuté avec des gens d'ocamlpro, je ne sais pas si c'est une aussi bonne idée d'utiliser ocp-build, car même d'après eux il est suceptible de changer complêtement un jour, même si eux l'utiliser effectivement en interne.

Pour fini, tu as raison, je n'ai pas terminé le travail et je n'ai pas écris de configure.

backtracking commented 10 years ago

Ensuite, ayant discuté avec des gens d'ocamlpro, je ne sais pas si c'est une aussi bonne idée d'utiliser ocp-build, car même d'après eux il est suceptible de changer complêtement un jour, même si eux l'utiliser effectivement en interne.

C'est comme tu veux. Si tu veux revenir sur ce patch, pas de problème pour moi. Mais quelle que soit la méthode choisie, j'aimerais que ce soit toujours

./configure
make
(sudo) make install

avec la propriété que "make" n'échoue pas si "./configure" a réussi. Ça me semble une propriété souhaitable.

PS : Je vais essayer un de ces jours de recoder DLX en utilisant uniquement des tableaux d'entiers (et pas des champs de records) pour voir si on peut gagner qq chose.

Jean-Christophe

remyzorg commented 10 years ago

Yes, je vais rétablir ça rapidement.

backtracking commented 10 years ago

Yes, je vais rétablir ça rapidement.

il n'y a pas d'urgence...

Jean-Christophe