search

vmware / differential-datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
MIT License
1.38k stars 119 forks source link

Allow the library path to be specified using a list of paths separated by : #378

Open mihaibudiu opened 5 years ago

mihaibudiu commented 5 years ago

Otherwise it's impossible to use an environment variable to describe the ddlog library path.

ryzhyk commented 5 years ago

You mean you want the -L switch to take a colon-separated list? Wouldn't it be more standard to teach the compiler to check for an actual environment variable?

mihaibudiu commented 5 years ago

Reserving an environment variable is one thing, allowing the user to pass a path is a different thing. We can probably do both. DDLOG_LIBRARY_PATH is a reasonable name.

ryzhyk commented 5 years ago

Ok, this is similar to how Java handles class path.