2015-08-05 23:23:15 +01:00
|
|
|
# zig lang
|
2015-08-06 01:44:05 +01:00
|
|
|
|
2016-02-10 02:26:15 +00:00
|
|
|
A system programming language intended to replace C.
|
|
|
|
|
|
|
|
Zig intends to remain a small language, yet powerful enough to write
|
2015-12-07 04:55:28 +00:00
|
|
|
optimal, readable, safe, and concise code to solve any computing problem.
|
|
|
|
|
|
|
|
Porting a C project to Zig should be a pleasant experience - every C feature
|
|
|
|
needs a corresponding Zig feature which solves the problem equivalently or
|
|
|
|
better.
|
|
|
|
|
|
|
|
Zig is not afraid to roll the major version number of the language if it
|
|
|
|
improves simplicity, fixes poor design decisions, or adds a new feature which
|
|
|
|
compromises backward compatibility.
|
2015-08-06 01:44:05 +01:00
|
|
|
|
2016-05-13 19:38:14 +01:00
|
|
|
[ziglang.org](http://ziglang.org)
|
2016-02-10 05:31:49 +00:00
|
|
|
|
2016-01-26 08:39:45 +00:00
|
|
|
## Existing Features
|
|
|
|
|
2016-02-01 06:40:56 +00:00
|
|
|
* Compatible with C libraries with no wrapper necessary. Directly include
|
|
|
|
C .h files and get access to the functions and symbols therein.
|
2016-01-26 08:39:45 +00:00
|
|
|
* Compile units do not depend on libc unless explicitly linked.
|
|
|
|
* Provides standard library which competes with the C standard library and is
|
|
|
|
always compiled against statically in source form.
|
|
|
|
* Pointer types do not allow the null value. Instead you can use a maybe type
|
|
|
|
which has several syntactic constructs to ensure that the null pointer is
|
|
|
|
not missed.
|
|
|
|
* Provides an error type with several syntatic constructs which makes writing
|
|
|
|
robust code convenient and straightforward. Writing correct code is easier
|
|
|
|
than writing buggy code.
|
|
|
|
* No header files required. Top level declarations are entirely
|
|
|
|
order-independent.
|
|
|
|
* Powerful constant expression evaluator. Generally, anything that *can* be
|
|
|
|
figured out at compile time *is* figured out at compile time.
|
|
|
|
* Tagged union enum type. No more accidentally reading the wrong union field.
|
2016-05-13 18:59:43 +01:00
|
|
|
* Generics so that one can write efficient data structures that work for any
|
|
|
|
data type.
|
2016-01-26 08:39:45 +00:00
|
|
|
* Easy to parse language so that humans and machines have no trouble with the
|
|
|
|
syntax.
|
|
|
|
* The binaries produced by Zig have complete debugging information so you can,
|
|
|
|
for example, use GDB to debug your software.
|
2016-04-10 01:39:12 +01:00
|
|
|
* Debug mode optimizes for fast compilation time and crashing when undefined
|
|
|
|
behavior *would* happen.
|
2016-01-26 08:39:45 +00:00
|
|
|
* Release mode produces heavily optimized code. What other projects call
|
|
|
|
"Link Time Optimization" Zig does automatically.
|
2016-02-05 07:13:37 +00:00
|
|
|
* Mark functions as tests and automatically run them with `zig test`.
|
2016-02-15 22:51:10 +00:00
|
|
|
* Supported architectures: `x86_64`, `i386`
|
|
|
|
* Supported operating systems: linux
|
|
|
|
* Friendly toward package maintainers. Reproducible build, bootstrapping
|
|
|
|
process carefully documented. Issues filed by package maintainers are
|
|
|
|
considered especially important.
|
|
|
|
* Easy cross-compiling.
|
2016-04-10 01:39:12 +01:00
|
|
|
* Eliminate the preprocessor, but (most) everything you can accomplish with
|
|
|
|
the preprocessor, you can accomplish directly in the language.
|
2016-01-26 08:39:45 +00:00
|
|
|
|
|
|
|
## Planned Features
|
2015-11-02 05:21:33 +00:00
|
|
|
|
2015-12-07 04:55:28 +00:00
|
|
|
* In addition to creating executables, creating a C library is a primary use
|
|
|
|
case. You can export an auto-generated .h file.
|
|
|
|
* Eliminate the need for configure, make, cmake, etc.
|
2016-02-05 07:13:37 +00:00
|
|
|
* Automatically provide test coverage.
|
2015-12-07 04:55:28 +00:00
|
|
|
* Ability to declare dependencies as Git URLS with commit locking (can
|
2016-04-10 01:39:12 +01:00
|
|
|
provide a tag or sha256).
|
2015-12-07 04:55:28 +00:00
|
|
|
* Include documentation generator.
|
2016-01-26 08:39:45 +00:00
|
|
|
* Compiler exposes itself as a library.
|
|
|
|
* Support for all popular architectures and operating systems.
|
2015-11-28 07:40:54 +00:00
|
|
|
|
2015-12-07 04:55:28 +00:00
|
|
|
## Building
|
|
|
|
|
2016-01-26 04:56:29 +00:00
|
|
|
### Dependencies
|
|
|
|
|
2016-02-12 21:07:12 +00:00
|
|
|
* cmake >= 2.8.5
|
2016-03-09 02:15:46 +00:00
|
|
|
* LLVM == 3.8.0
|
|
|
|
* libclang == 3.8.0
|
2016-01-26 04:56:29 +00:00
|
|
|
|
2015-12-10 22:34:38 +00:00
|
|
|
### Debug / Development Build
|
|
|
|
|
2016-05-01 01:17:59 +01:00
|
|
|
If you have gcc or clang installed, you can find out what `ZIG_LIBC_LIB_DIR`,
|
|
|
|
`ZIG_LIBC_STATIC_LIB_DIR`, and `ZIG_LIBC_INCLUDE_DIR` should be set to
|
|
|
|
(example below).
|
2015-12-15 20:02:02 +00:00
|
|
|
|
2016-05-15 02:54:37 +01:00
|
|
|
For MacOS, `ZIG_LIBC_LIB_DIR` and `ZIG_LIBC_STATIC_LIB_DIR` are unused.
|
|
|
|
|
2015-12-07 04:55:28 +00:00
|
|
|
```
|
|
|
|
mkdir build
|
|
|
|
cd build
|
2016-05-01 01:17:59 +01:00
|
|
|
cmake .. -DCMAKE_INSTALL_PREFIX=$(pwd) -DZIG_LIBC_LIB_DIR=$(dirname $(cc -print-file-name=crt1.o)) -DZIG_LIBC_INCLUDE_DIR=$(echo -n | cc -E -x c - -v 2>&1 | grep -B1 "End of search list." | head -n1 | cut -c 2-) -DZIG_LIBC_STATIC_LIB_DIR=$(dirname $(cc -print-file-name=crtbegin.o))
|
2015-12-07 04:55:28 +00:00
|
|
|
make
|
2015-12-10 22:34:38 +00:00
|
|
|
make install
|
2015-12-07 04:55:28 +00:00
|
|
|
./run_tests
|
|
|
|
```
|
2015-12-10 22:34:38 +00:00
|
|
|
|
|
|
|
### Release / Install Build
|
|
|
|
|
2016-02-02 22:04:14 +00:00
|
|
|
Once installed, `ZIG_LIBC_LIB_DIR` and `ZIG_LIBC_INCLUDE_DIR` can be overridden
|
|
|
|
by the `--libc-lib-dir` and `--libc-include-dir` parameters to the zig binary.
|
2015-12-15 20:06:42 +00:00
|
|
|
|
2015-12-10 22:34:38 +00:00
|
|
|
```
|
|
|
|
mkdir build
|
|
|
|
cd build
|
2016-02-08 07:50:51 +00:00
|
|
|
cmake .. -DCMAKE_BUILD_TYPE=Release -DZIG_LIBC_LIB_DIR=/some/path -DZIG_LIBC_INCLUDE_DIR=/some/path -DZIG_LIBC_STATIC_INCLUDE_DIR=/some/path
|
2015-12-10 22:34:38 +00:00
|
|
|
make
|
|
|
|
sudo make install
|
|
|
|
```
|
2016-01-16 00:12:26 +00:00
|
|
|
|
2016-04-23 17:57:38 +01:00
|
|
|
### Test Coverage
|
|
|
|
|
|
|
|
To see test coverage in Zig, configure with `-DZIG_TEST_COVERAGE=ON` as an
|
|
|
|
additional parameter to the Debug build.
|
|
|
|
|
|
|
|
You must have `lcov` installed and available.
|
|
|
|
|
|
|
|
Then `make coverage`.
|
|
|
|
|
|
|
|
With GCC you will get a nice HTML view of the coverage data. With clang,
|
|
|
|
the last step will fail, but you can execute
|
|
|
|
`llvm-cov gcov $(find CMakeFiles/ -name "*.gcda")` and then inspect the
|
|
|
|
produced .gcov files.
|
|
|
|
|
2016-01-16 00:12:26 +00:00
|
|
|
### Troubleshooting
|
|
|
|
|
|
|
|
If you get one of these:
|
|
|
|
|
2016-01-16 00:15:42 +00:00
|
|
|
```
|
|
|
|
undefined reference to `_ZNK4llvm17SubtargetFeatures9getStringB5cxx11Ev'
|
|
|
|
undefined reference to `llvm::SubtargetFeatures::getString() const'
|
|
|
|
```
|
2016-01-16 00:12:26 +00:00
|
|
|
|
2016-01-16 00:18:03 +00:00
|
|
|
This is because of
|
|
|
|
[C++'s Dual ABI](https://gcc.gnu.org/onlinedocs/libstdc++/manual/using_dual_abi.html).
|
2016-01-16 00:12:26 +00:00
|
|
|
Most likely LLVM was compiled with one compiler while Zig was compiled with a
|
|
|
|
different one, for example GCC vs clang.
|
|
|
|
|
2016-01-16 00:18:03 +00:00
|
|
|
To fix this, you have 2 options:
|
|
|
|
|
|
|
|
* Compile Zig with the same compiler that LLVM was compiled with.
|
|
|
|
* Add `-DZIG_LLVM_OLD_CXX_ABI=yes` to the cmake configure line.
|
2016-01-28 21:04:22 +00:00
|
|
|
|
|
|
|
## Community
|
|
|
|
|
2016-04-14 19:34:46 +01:00
|
|
|
* IRC chat: `#zig` on Freenode.
|
|
|
|
* Reddit: [/r/zig](https://www.reddit.com/r/zig)
|
2016-09-05 18:44:48 +01:00
|
|
|
* Email list: [zig@googlegroups.com](https://groups.google.com/forum/#!forum/ziglang)
|