New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

use current ceta (2.39), document how to update ceta #19

Open

jwaldmann opened this issue Jun 28, 2020 · 0 comments

Owner

jwaldmann commented Jun 28, 2020 •

edited

How to update: get source from http://cl-informatik.uibk.ac.at/software/ceta/src/CeTA.tgz
Beware - it unpacks to CeTA-2.39 (currently). The relevant sources are in CeTA-2.39/generated/Haskell/

I will put this in the cabal file:

library
  hs-source-dirs: CeTA-2.39/generated/Haskell
  exposed-modules:   Ceta, Array, Data_Bits, IArray, Uint, Uint32, Uint64
  build-depends: base, array

executable ceta-postproc
  hs-source-dirs:         src 
  main-is:             Main.hs
  build-depends:       base, ceta-postproc, parsec, clock

then ideally, updating CeTA is just

unpack source
change one line hs-source-dirs in cabal file

The text was updated successfully, but these errors were encountered:

jwaldmann changed the title ~~use current ceta (2.39)~~ use current ceta (2.39), document how to update ceta

jwaldmann mentioned this issue

ceta should export nat_of_integer #21

Open

jwaldmann added a commit that referenced this issue


          ansatz for #19

04025ea

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment