Comments (4)
This will include a cleanup of the Makefiles, e.g. ensuring that make build
builds everything that would be installed (i.e. dune build @install
, which is what make install
does at the moment), and that make install
actually installs it to the prefix.
from catala.
I am starting work on this. Here is the plan:
- Create new
CatalaLang/catala-examples
repository containing the contents of theexamples
directory - Create new
CatalaLang/french-law
repository containing the contents of thefrench_law
directory - Adjust doc and READMEs of these repositories ;
- Adjust installation of Catala and build rules so that the examples and API uses build correctly
There will be acatala
←examples
←french-law
dependency chain
Now for the CI: all CI remains on the main Catala repository
(two reasons for that: these remain important tests for the compiler, and we don't want to scatter the test results or the build artifacts)
- Main catala CI: will build, test and install the compiler, then in another stage fetch the latest version of the examples / french law, build and check them, and publish their artifacts to https://catalalang.github.io/catala so that page will keep being updated as it is now
- Examples and french_law CI: the idea there is that upon update of master, the CI will do an API call to trigger a re-run of the main catala CI (that will fetch the newer version of the repo) ; this will ensure that the artifacts page is always up-to-date with both Catala and the examples/french-law repos.
- A specific CI for PRs on examples and french-law (that could use the published builds of the catala compiler ?) will probably be useful soon enough.
from catala.
Also: for now I intend to disable the bug-trackers on the two new repos, so that we keep all issues in the same place (the tracker of the main Catala repo)
from catala.
You plan looks good Louis ! And OK for disabling the bug trackers in the other examples. Do you think that you could extend your CI streak to cover update of the Catala websites catala-website
and catala-dfsr
too?
from catala.
Related Issues (20)
- Continuation-based message module can lead to performance decrease HOT 4
- Missing runtime embedding for tuples HOT 1
- Bug in make website-assets.tar HOT 2
- Improve the output of clerk test HOT 2
- Generate loaders for external modules
- Write a "get started" section of the README.md or a separate GETSTARTED.md file
- Invent Catala writing exercices to complement the tutorial
- Add a list sorting builtin to the language
- Add a list folding surface syntax HOT 1
- Add test case UI aimed at non-programmers
- C backend without heap allocations
- Abstract syntax tree serialization to JSON for IDE plugins HOT 1
- Static analysis for usage of input atoms
- Improve the format of the computation trace
- LSP implementation
- TOML project specification file for Clerk
- Make Catala compatible with Oracle Policy Automation "what-ifs" testing Excel workbooks
- Add a clerk test launch and report UI
- Interactive debugguer for Catala HOT 1
- Trace selectors
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from catala.